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

68Q70 - Computer science :: Theory of computing :: Algebraic theory of languages and automata

  1. abstract family of languages owned by CWoo
  2. alternative treatment of concatenation owned by rspuzio
  3. automaton over a monoid owned by CWoo
  4. characteristic monoid owned by CWoo
  5. characterization of a Kleene algebra owned by CWoo
  6. commutative language owned by CWoo
  7. concatenation owned by CWoo
  8. convolution owned by mathcam
  9. deletion operation on languages owned by CWoo
  10. equivalent regular expressions owned by CWoo
  11. Fine and Wilf's theorem on words owned by Ziosilvio
  12. generalized regular expression owned by CWoo
  13. insertion operation on languages owned by CWoo
  14. Kleene algebra owned by CWoo
  15. Kleene star owned by CWoo
  16. linear erasing owned by CWoo
  17. metalinear language owned by CWoo
  18. monad owned by mathcam
  19. Myhill-Nerode theorem owned by Ziosilvio
  20. Myhill-Nerode theorem for semigroups owned by Ziosilvio
  21. Nerode equivalence owned by Ziosilvio
  22. quotient of languages owned by CWoo
  23. rational set owned by CWoo
  24. regular expression owned by CWoo
  25. reversal owned by CWoo
  26. semiautomaton owned by CWoo
  27. semiautomaton homomorphism owned by CWoo
  28. shuffle of languages owned by CWoo
  29. star height owned by CWoo
  30. subsemiautomaton owned by CWoo
  31. syntactic congruence owned by Ziosilvio
  32. theory of formal languages owned by rspuzio

Show empty categories:
[ up | top ]