Finite nondeterministic automata: Simulation and minimality

Theoretical Computer Science

Volumn 242, Issue 1-2, 2000, Pages 219-235

  Calude, Cristian S ^a   Calude, Elena ^a   Khoussainov, Bakhadyr ^a,b  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037653958     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00221-7     Document Type: Article

References (18)

1. W. Brauer, Automatentheorie, Teubner, Stuttgart, 1984.
2. C. Calude, E. Calude, B. Khoussainov, Deterministic automata: simulation, universality and minimality, Ann. Pure Appl. Logic 90 (1997) 263-276.
3. C. Calude, E. Calude, K. Svozil, S. Yu, Physical versus computational complementarity I, Internat. J. Theoret. Phys. 36 (1997) 1495-1523.
4. C.S. Calude, M. Lipponen, Computational complementarity and sofic shifts, CDMTCS Research Report 63 (1997).
5. E. Calude, M. Lipponen, Deterministic incomplete automata: simulation, universality and complementarity, CDMTCS Research Report 39 (1997).
6. G.J. Chaitin, An improvement on a theorem by E.F. Moore, IEEE Trans. Electron. Comput. EC-14 (1965) 466-467.
7. J.H. Conway, Regular Algebra and Finite Machines, Chapman & Hall, London, 1971.
8. A. Dvurečenskij, S. Pulmannová, K. Svozil, Partition logics, orthoalgebras and automata, Helvetica Phys. Acta 68 (1995) 407-428.
9. D. Finkelstein, S.R. Finkelstein, Computational complementarity. Internat. J. Theoret. Phys. 22(8) (1983) 753-779.
10. A.A. Grib, R.R. Zapatrin, Automata simulating quantum logics, Internat. J. Theoret. Phys. 29(2) (1990) 113-123.
11. J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.
12. E.F. Moore, Gedanken-experiments on sequential machines, In: C.E. Shannon, J. McCarthy (Eds.), Automata Studies, Princeton University Press, Princeton, 1956.
13. A. Salomaa, Computation and Automata, Cambridge University Press, Cambridge, 1985.
14. M. Schaller, K. Svozil, Partition logics of automata, Il Nuovo Cimento 109B (1994) 167-176.
15. M. Schaller, K. Svozil, Automaton partition logic versus quantum logic, Internat. J. Theoret. Phy. 34(8) (1995) 1741-1750.
16. M. Schaller, K. Svozil, Automaton logic, Internat. J. Theoret. Phys. 35(5) (1996) 911-940.
17. K. Svozil, Randomness & Undecidability in Physics, World Scientific, Singapore, 1993.
18. S. Yu, Regular languages, In: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vols. 1-3, Springer, Heidelberg, 1997.