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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
Encyclopedia by subject

68Q45 - Computer science :: Theory of computing :: Formal languages and automata

  1. \epsilon-transition owned by CWoo
  2. abstract family of languages owned by CWoo
  3. ambiguous grammar owned by CWoo
  4. automaton owned by CWoo
  5. Backus-Naur form owned by CWoo
  6. Boolean operations on automata owned by CWoo
  7. characteristic monoid owned by CWoo
  8. Chomsky normal form owned by rspuzio
  9. Chomsky-Schützenberger theorem owned by CWoo
  10. context-free language owned by CWoo
  11. context-sensitive language owned by CWoo
  12. convolution owned by mathcam
  13. definite language owned by CWoo
  14. deletion operation on languages owned by CWoo
  15. derivation language owned by CWoo
  16. derivation tree owned by CWoo
  17. derivation tree of a derivation owned by CWoo
  18. Dyck language owned by CWoo
  19. equivalent automata owned by CWoo
  20. equivalent grammars owned by CWoo
  21. equivalent machines owned by CWoo
  22. every \epsilon-automaton is equivalent to an automaton owned by CWoo
  23. Fine and Wilf's theorem on words owned by Ziosilvio
  24. formal grammar owned by CWoo
  25. generalized sequential machine owned by CWoo
  26. Greibach normal form owned by CWoo
  27. homomorphism of languages owned by CWoo
  28. insertion operation on languages owned by CWoo
  29. juxtaposition of automata owned by CWoo
  30. Kleene star of an automaton owned by CWoo
  31. Kuroda normal form owned by CWoo
  32. language owned by mps
  33. leftmost derivation owned by CWoo
  34. Lindenmayer system owned by CWoo
  35. linear bounded automaton owned by CWoo
  36. linear language owned by CWoo
  37. locally testable owned by CWoo
  38. Mealy machine owned by CWoo
  39. metalinear language owned by CWoo
  40. Moore machine owned by CWoo
  41. Parikh's theorem owned by CWoo
  42. product of automata owned by CWoo
  43. quotient of languages owned by CWoo
  44. rational transducer owned by CWoo
  45. regular language owned by mps
  46. restricted homomorphism owned by CWoo
  47. reversal owned by CWoo
  48. semiautomaton owned by CWoo
  49. semiautomaton homomorphism owned by CWoo
  50. shuffle of languages owned by CWoo
  51. simplified automaton owned by CWoo
  52. standard enumeration owned by mathcam
  53. star-free owned by CWoo
  54. state-output machine owned by CWoo
  55. subsemiautomaton owned by CWoo
  56. substitution owned by CWoo
  57. theory of formal languages owned by rspuzio

Show empty categories:
[ up | top ]