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
References to 'formal grammar'
1. abstract family of languages by CWoo
2. ambiguous grammar by CWoo
3. Backus-Naur form by CWoo
4. Chomsky hierarchy by CWoo
5. Chomsky normal form by rspuzio
6. concatenation by CWoo
7. context-free language by CWoo
8. context-sensitive language by CWoo
9. cryptography by CWoo
10. derivation language by CWoo
11. derivation tree by CWoo
12. derivation tree of a derivation by CWoo
13. deterministic pushdown automaton by CWoo
14. differential propositional calculus by Jon Awbrey
15. Dyck language by CWoo
16. economic context of Egyptian fractions by milogardner
17. Egyptian fraction by milogardner
18. equivalent grammars by CWoo
19. example of straight-line program by Algeboy
20. examples of initial objects and terminal objects and zero objects by AxelBoldt
21. extensive form game by Henry
22. generalized sequential machine by CWoo
23. geometric representation of relation composition by Jon Awbrey
24. Greibach normal form by CWoo
25. hashing by akrowne
26. Internet by PrimeFan
27. Kahun Papyrus and Arithmetic Progressions by milogardner
28. Kuroda normal form by CWoo
29. language by mps
30. leftmost derivation by CWoo
31. Lindenmayer system by CWoo
32. linear language by CWoo
33. LL(k) by CWoo
34. logical graph : introduction by Jon Awbrey
35. LR(k) by CWoo
36. Markov algorithm by CWoo
37. metalinear language by CWoo
38. Michael Francis Atiyah by bci1
39. model theory by mps
40. no-arbitrage in the Black-Scholes pricing model by stevecheng
41. Post system by CWoo
42. properties of direct product by CWoo
43. propositional calculus by Jon Awbrey
44. pumping lemma (context-free languages) by rspuzio
45. pumping lemma (regular languages) by rspuzio
46. regular expression by CWoo
47. regular language by mps
48. relation between pullbacks and other categorical limits by CWoo
49. relation composition by Jon Awbrey
50. remainder arithmetic vs Egyptian fractions by milogardner
51. reversal by CWoo
52. row reduction by rmilson
53. Russell's paradox by CWoo
54. semi-Thue system by CWoo
55. simplicial category by mhale
56. subsemigroup of a cyclic semigroup by CWoo
57. substitution by CWoo
58. theory of formal languages by rspuzio
59. Turing machine by Henry
60. variable by stevecheng
61. word by juanman