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 (49)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'category of automata'
1. $\epsilon$-transition by CWoo
2. abelian categories, examples of by mps
3. algebraic geometry by archibal
4. algorithm by jk81
5. artificial intelligence by aplant
6. Beal conjecture by mathcam
7. categorical dynamics by bci1
8. category of $(M,R)$--systems by bci1
9. category of quantum automata by bci1
10. category theory by archibal
11. combining URMs by CWoo
12. complexity class by Henry
13. continuity equation by perucho
14. Cook reduction by Henry
15. counting complexity class by Henry
16. decision problem by Henry
17. deterministic Turing machine by Henry
18. discretization of continuous systems by mathcam
19. equivalent machines by CWoo
20. examples of unlimited register machines by CWoo
21. false counterexamples to Fermat's last theorem by PrimeFan
22. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
23. fundamental complexity diagrams by bci1
24. genetic nets by bci1
25. Hamilton equations by CWoo
26. homomorphism of languages by CWoo
27. index of categories by bci1
28. Julia Bowman Robinson by Mravinci
29. Kolmogorov complexity function by tromp
30. Kolmogorov complexity upper bounds by tromp
31. Mealy machine by CWoo
32. non-commutative dynamic modeling diagrams by bci1
33. non-deterministic pushdown automaton by Henry
34. oracle by Henry
35. organismic supercategories and super-complex systems biodynamics by bci1
36. Penrose's first G\"odelian argument by dankomed
37. Penrose's second G\"odelian argument by dankomed
38. polynomial hierarchy is a hierarchy by uzeromay
39. Post system by CWoo
40. product of automata by CWoo
41. proof of Gelfand-Naimark representation theorem by asteroid
42. QR decomposition by akrowne
43. quantum automata and computation by bci1
44. quantum groups by bci1
45. Ramsey's theorem by bbukh
46. random Turing machine by Henry
47. range problem by Henry
48. Robert Rosen by bci1
49. similarity and analogous systems: dynamic adjointness and topological equivalence by bci1
50. simple tensor by lars_h
51. state-output machine by CWoo
52. stopping time by gel
53. supercategory by bci1
54. supercategory theories by bci1
55. supercomputers by bci1
56. theory of organismic sets and mathematical relations by bci1
57. Turing machine by Henry
58. universal Turing machine by tromp
59. unlimited register machine by CWoo