 | | Home : Math : Higher Mathematics : Discrete Mathematics : Rosen, Discrete Mathematics and Its Applications, 6th Edition : Chapter 12 | | LINKS: |  | |
Pages: 1 2 [>>] | - Page 789 - Section 12.1
Chomsky hierarchy encyclopedia article from Wikipedia -- Information on the Chomsky hierarchy can be found here.
http://www.wikipedia.com/wiki/Chomsky_hierarchy
(Added: Fri Jul 28 2006)
- Page 791 - Section 12.1
Noam Chomsky Home Page -- You can find Noam Chomsky's home page here, containing his photograph, address, and a list of some recent publications.
http://web.mit.edu/linguistics/www/chomsky.home.html
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
Backus-Naur Form from FOLDOC -- You can learn more about Backus-Naur form at the Free On-Line Dictionary of Computing.
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Backus-Naur+Form
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
BNF and EBNF: What are they and how do they work -- You can learn more about Backus-Naur form and extended Backus-Naur form here.
http://www.garshol.priv.no/download/text/bnf.html
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
About BNF notation -- Information about Backus Naur Form (BNF) taken from M. Marcotty & H. Ledgard, The World of Programming Languages, Springer-Verlag, Berlin 1986., pages 41+ together with the BNF lists defining the grammars of a variety of programming languages, including Java, SQL, and LISP, can be found here.
http://cui.unige.ch/db-research/Enseignement/analyseinfo/AboutBNF.html
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
BNF and XBNF -- Information on Backus-Naur Form (BNF) and its off-shoots EBNF, BS6154, XBNF, and ISO-EBNF can be found here.
http://www.csci.csusb.edu/dick/samples/comp.text.Meta.html#BNF
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
BNF Examples -- You can learn more about Backus-Naur Form (BNF), syntax diagrams, and Extended Backus-Naur Form here.
http://www.cs.man.ac.uk/~pjj/bnf/bnf.html
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
Peter Naur -- You can see a photograph of Peter Naur here.
http://ei.cs.vt.edu/~history/NaurHOPL.GIF
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
Backus -- You can see a photograph of John Backus here.
http://ei.cs.vt.edu/~history/Backus.GIF
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
John Backus -- You can find a biography of John Backus at the MacTutor site.
http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Backus.html
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
John Backus -- You can find a biography of John Backus here.
http://www.thocp.net/biographies/backus_john.htm
(Added: Fri Jul 28 2006)
- Page 792 - Section 12.1
Bibliography Naur -- You can find a biography and a bibliography of the work of Peter Naur here.
http://www.naur.com/bibliography.html
(Added: Fri Jul 28 2006)
- Page 796 - Section 12.1 Exercises
BNF and EBNF: What are they and how do they work -- You can learn more about Backus-Naur form and extended Backus-Naur form here.
http://www.garshol.priv.no/download/text/bnf.html
(Added: Fri Jul 28 2006)
- Page 796 - Section 12.1 Exercises
BNF and XBNF -- Information on Backus-Naur Form (BNF) and its off-shoots EBNF, BS6154, XBNF, and ISO-EBNF can be found here.
http://www.csci.csusb.edu/dick/samples/comp.text.Meta.html#BNF
(Added: Fri Jul 28 2006)
- Page 796 - Section 12.2
Java FSM -- You can edit and simulate the actions of finite-state machines with output using Java applets written by Karola Kronert and Ulrich Dallmann of the Computer Science Department of the University of Hamburg, Germany. The JavaFSM applet provides an interactive editor and simulator of finite-state machines. The applet supports both Mealy- and Moore-machines. Unfortunately, documentation is currently available only in German, but you can use a free German-English translator on the Web if you do not read German.
http://tech-www.informatik.uni-hamburg.de/applets/java-fsm/index.html
(Added: Fri Jul 28 2006)
- Page 804 - Section 12.3
Finite State Machines -- To learn more about finite-state machines and to find many useful links to sites devoted to their study, consult this Wikipedia article.
http://en.wikipedia.org/wiki/Finite-state_machine
(Added: Fri Jul 28 2006)
- Page 804 - Section 12.3
Finite State Automata Utilities -- You can obtain the FSA Utilities toolbox: a powerful collection of utilities to manipulate regular expression and, finite-state automata, here.
http://odur.let.rug.nl/~vannoord/Fsa/
(Added: Fri Jul 28 2006)
- Page 805 - Section 12.3
MacTutor History of Mathematics Archive, University St. Andrews, Scotland -- A biography and photograph of Stephen Kleene can be found here.
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Kleene.html
(Added: Fri Jul 28 2006)
- Page 811 - Section 12.3
Admiral Grace Murray Hopper -- Biographical information about Admiral Grace Hopper can be found in the San Diego Supercomputer Center’s Women in Science site.
http://www.sdsc.edu/ScienceWomen/hopper.html
(Added: Fri Jul 28 2006)
- Page 811 - Section 12.3
Grace Murray Hopper -- A biography of Hopper can found in the proceedings of the Grace Hopper Celebration of Women in Computing conference here.
http://www.cs.yale.edu/homes/tap/Files/hopper-story.html
(Added: Fri Jul 28 2006)
- Page 811 - Section 12.3
Grace Brewster Murray Hopper -- You can find biographical information and pictures of Grace Hopper at the MacTutor site here.
http://www-history.mcs.st-andrews.ac.uk/Biographies/Hopper.html
(Added: Fri Jul 28 2006)
- Page 819 - Section 12.4
Kleene’s Theorem -- You can find a proof of Kleene’s theorem here.
http://www.cs.nuim.ie/~jpower/Courses/parsing/node6.html
(Added: Fri Jul 28 2006)
- Page 819 - Section 12.4
Kleene’s Theorem -- A proof of Kleene’s theorem, and study questions related to it, can be found in the CS390 Web Course Study Materials at Old Dominion University.
http://www.cs.odu.edu/~toida/nerzic/390teched/regular/fa/kleene-1.html
(Added: Fri Jul 28 2006)
- Page 825 - Section 12.4
Pushdown automata -- Consult the Wikipedia article here to learn about pushdown automata.
http://en.wikipedia.org/wiki/Pushdown_automaton
(Added: Fri Jul 28 2006)
- Page 826 - Section 12.4
Alan Turing Home Page -- The Alan Turing Home Page contains a wealth of information about Alan Turing, including biographical information, a photo, information about his mathematical work, his cryptographic work, his pioneering work in computer science, and other material.
http://www.turing.org.uk/turing/
(Added: Fri Jul 28 2006)
| |
Pages: 1 2 [>>] | |
