PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (46)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'automaton'
1. $\epsilon$-transition by CWoo
2. abelian categories, examples of by mps
3. artificial intelligence by aplant
4. automatic presentation by mathcam
5. automaton over a monoid by CWoo
6. Boolean operations on automata by CWoo
7. categorical dynamics by bci1
8. category of automata by bci1
9. category of quantum automata by bci1
10. characteristic monoid by CWoo
11. Chomsky hierarchy by CWoo
12. constructing automata from regular languages by CWoo
13. context-free language by CWoo
14. context-sensitive language by CWoo
15. controllability by GeraW
16. cryptography and number theory by archibal
17. deterministic finite automaton by CWoo
18. deterministic pushdown automaton by CWoo
19. deterministic Turing machine by Henry
20. equivalent automata by CWoo
21. every $\epsilon$-automaton is equivalent to an automaton by CWoo
22. fundamental complexity diagrams by bci1
23. Game of Life by PrimeFan
24. general system definitions by bci1
25. generalized sequential machine by CWoo
26. generalized toposes with many-valued logic subobject classifiers by bci1
27. good hash table primes by akrowne
28. Greibach normal form by CWoo
29. groupoid C*-dynamical system by bci1
30. juxtaposition of automata by CWoo
31. Kleene star of an automaton by CWoo
32. Kleene's theorem by CWoo
33. linear bounded automaton by CWoo
34. list of overloaded symbols by PrimeFan
35. lower bound for sorting by stevecheng
36. many-sorted structure by CWoo
37. Markov algorithm by CWoo
38. matrix characterizations of automata by CWoo
39. Mealy machine by CWoo
40. Moore machine by CWoo
41. Myhill-Nerode theorem by Ziosilvio
42. non-deterministic finite automaton by mps
43. non-deterministic pushdown automaton by Henry
44. non-deterministic Turing machine by Henry
45. organismic supercategories and super-complex systems biodynamics by bci1
46. Pascal's triangle by Koro
47. polyhedron by Mathprof
48. product of automata by CWoo
49. quantum automata and computation by bci1
50. rational transducer by CWoo
51. reduced automaton by CWoo
52. regular expression by CWoo
53. regular language by mps
54. Robert Rosen by bci1
55. semiautomaton by CWoo
56. semiautomaton homomorphism by CWoo
57. similarity and analogous systems: dynamic adjointness and topological equivalence by bci1
58. simplified automaton by CWoo
59. state-output machine by CWoo
60. strong AI thesis by dankomed
61. subsemiautomaton by CWoo
62. subset construction by CWoo
63. supercategory theories by bci1
64. supercomputers by bci1
65. theory of formal languages by rspuzio
66. topic on applied mathematical physics and physical mathematics by bci1
67. Turing machine by Henry
68. vector bundle by rspuzio
69. vibrating string by perucho