✦ LIBER ✦

A minimized automaton representation of reachable states

✍ Scribed by Gerard J. Holzmann; Anuj Puri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimization of a Moore automaton

✍ M. A. Spivak 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 171 KB

Combinatorial representation of invarian

✍ Makoto Torii; Daisuke Takahashi; Junkichi Satsuma 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 610 KB

Representation of events in an automaton

✍ B. M. Schein 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 1015 KB

The stability of internal states of a pr

✍ N. Ya. Parshenkov; V. M. Chentsov 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 430 KB

Cyclic accessibility of reachable states

✍ A. Sáez-Schwedt 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Check words for the states of a finite a

✍ S. M. Gobershtein 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 355 KB