Deterministic automata simulation, universality and minimality

Annals of Pure and Applied Logic

Volumn 90, Issue 1-3, 1997, Pages 263-276

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

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Automata simulations; Minimal automaton; Universal automaton

Indexed keywords

EID: 0031574555     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(97)00039-0     Document Type: Article

References (24)

1. J.S. Bell, Against Measurement, Phys. World 3 (1990) 33-40.
2. W. Brauer, Automatentheorie, Teubner, Stuttgart, 1984.
3. C. Calude, E. Calude, K. Svozil, S. Yu, Physical versus Computational Complementarity I, Internat. J. Theoret. Phys. 36 (1997) 1495-1523.
4. G.J. Chaitin, An improvement on a theorem by E.F. Moore, IEEE Trans. Electron. Comput. EC-14 (1965) 466-467.
5. J.H. Conway, Regular Algebra and Finite Machines, Chapman & Hall, London, 1971
6. A. Dvurečenskij, S. Pulmannová, K. Svozil, Partition logics, orthoalgebras and automata, Helvetica Phys. Acta 68 (1995) 407-428.
7. D. Finkelstein, S.R. Finkelstein, Computational complementarity, Internat. J. Theoret. Phys. 22 (8) (1983) 753-779.
8. A. Gill, State-identification experiments in finite automata, Inform. Control 4 (1961) 132-154.
9. S. Ginsburg, On the length of the smallest uniform experiment which distinguishes the terminal states of the machine, J. Assoc. Comput. Mach. 5 (1958) 266-280.
10. S. Ginsburg, An Introduction to Mathematical Machine Theory, Addison-Wesley, Reading, MA, 1962.
11. D.B. Greenberger, A. Yasin, Haunted measurements in quantum theory, Found. Phys. 19(6) (1989) 679-704.
12. A.A. Grib, R.R. Zapatrin, Automata simulating quantum logics, Internat. J. Theoret. Phys. 29(2) (1990) 113-123.
13. J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, 1979.
14. E.F. Moore, Gedanken-experiments on sequential machines, in: C.E.S. and J. McCarthy (Ed.), Automata Studies, Princeton University Press, Princeton, 1956
15. S. Rudeanu, Behaviouristic automata I, minimal automata, An. Univ. Bucureşti Mat. 38 (1989) 64-71.
16. S. Rudeanu, Behaviouristic automata II, The synthesis problem, An. Ştiinţ. Univ. 'A1. I. Cuza' Iaşi Secţ. I a Mat. (N.S.) 35 (1989) 303-312.
17. S. Rudeanu, Email to C. Calude, 19 March, 1997.
18. M. Schaller, K. Svozil, Partition logics of automata, Il Nuovo Cimento, 109B (1994) 167-176.
19. M. Schaller, K. Svozil, Automaton partition logic versus quantum logic, Internat. J. Theoret. Phys. 34 8 (August 1995) 1741-1750.
20. M. Schaller, K. Svozil, Automaton logic, Internat. J. Theoret. Phys. 35 (5) (May 1996) 911-940.
21. K. Svozil, Randomness & Undecidability in Physics, World Scientific, Singapore, 1993.
22. J.A. Wheeler, Law without law, in: J.A. Wheeler, W.H. Zurek (Eds.), Quantum Theory and Measurement, Princeton University Press, Princeton, 1983, pp. 182-213.
23. J.A. Wheeler, W.H. Zurek, Quantum Theory and Measurement, Princeton University Press, Princeton, 1983.
24. E.P. Wigner, Remarks on the mind-body question, in: I.J. Good (Ed.), The Scientist Speculates, Heinemann and Basic Books, London, 1961, pp. 284-302; reprinted in [Ref. 23, pp. 168-181].