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 'alphabet'
1. $0\ne 1$ as real numbers by mps
2. $\epsilon$-transition by CWoo
3. abstract family of languages by CWoo
4. alternative treatment of concatenation by rspuzio
5. an outline of Hilbert's programme by gribskoff
6. arithmetic by PrimeFan
7. automatic presentation by mathcam
8. automaton over a monoid by CWoo
9. Backus-Naur form by CWoo
10. base conversion by mathcam
11. bibliography for differential geometry by archibal
12. blackboard bold by PrimeFan
13. characteristic monoid by CWoo
14. Chomsky hierarchy by CWoo
15. Chomsky-Sch\"utzenberger theorem by CWoo
16. code by mathcam
17. commutative language by CWoo
18. concatenation by CWoo
19. constructible by Henry
20. constructing automata from regular languages by CWoo
21. context-free language by CWoo
22. context-sensitive language by CWoo
23. convolution by mathcam
24. cryptography by CWoo
25. cyclic permutation by CWoo
26. de Bruijn digraph by Mathprof
27. definite language by CWoo
28. deletion operation on languages by CWoo
29. derivation language by CWoo
30. deterministic finite automaton by CWoo
31. deterministic Turing machine by Henry
32. differential propositional calculus by Jon Awbrey
33. digital number system by akrowne
34. Dyck language by CWoo
35. Egyptian fraction by milogardner
36. encoding words by CWoo
37. equivalent automata by CWoo
38. equivalent grammars by CWoo
39. equivalent machines by CWoo
40. equivalent regular expressions by CWoo
41. examples of countable sets by CWoo
42. Fine and Wilf's theorem on words by Ziosilvio
43. formal grammar by CWoo
44. free semigroup by yark
45. generalized regular expression by CWoo
46. generalized sequential machine by CWoo
47. Greibach normal form by CWoo
48. Hofstadter's MIU system by Daume
49. homomorphism of languages by CWoo
50. Huffman coding by Logan
51. insertion operation on languages by CWoo
52. Kautz graph by wati
53. Kleene algebra by CWoo
54. Kleene star by CWoo
55. Kleene's theorem by CWoo
56. Kuratowski closure-complement theorem by CWoo
57. language by mps
58. length of a string by mathcam
59. Lindenmayer system by CWoo
60. linear bounded automaton by CWoo
61. linear code by mathcam
62. linear erasing by CWoo
63. locally testable by CWoo
64. Markov algorithm by CWoo
65. Mathematics Subject Classification by PrimeFan
66. mathematics vocabulary by matte
67. Mealy machine by CWoo
68. Moore machine by CWoo
69. Munn tree by Mazzu
70. Myhill-Nerode theorem by Ziosilvio
71. Myhill-Nerode theorem for semigroups by Ziosilvio
72. non-deterministic finite automaton by mps
73. non-deterministic pushdown automaton by Henry
74. numeration system by CWoo
75. one-line notation for permutations by mps
76. oracle by Henry
77. Parikh's theorem by CWoo
78. partial fractions of expressions and partition problems (recreational) by rspuzio
79. Post system by CWoo
80. presentation of a group by rmilson
81. Prouhet-Thue-Morse sequence by Mathprof
82. public key cryptography by aoh45
83. quotient of languages by CWoo
84. rational set by CWoo
85. rational transducer by CWoo
86. regular expression by CWoo
87. regular language by mps
88. restricted homomorphism by CWoo
89. reversal by CWoo
90. semi-Thue system by CWoo
91. semiautomaton homomorphism by CWoo
92. shuffle of languages by CWoo
93. star height by CWoo
94. star-free by CWoo
95. state-output machine by CWoo
96. subsemiautomaton by CWoo
97. subsemigroup of a cyclic semigroup by CWoo
98. substitution by CWoo
99. theory of formal languages by rspuzio
100. trie by mathcam
101. Turing computable by rspuzio
102. unique readability of well-formed formulas by CWoo
103. universal Turing machine by tromp
104. weight (strings) by GrafZahl
105. weight enumerator by GrafZahl
106. Why Study Egyptian Fraction Mathematics by milogardner
107. word by juanman
108. words for numbers in Slavic languages by PrimeFan