1 Language Theory and Infinite Graphs

First Page		Document Content
Date: 2006-02-02 08:38:30 Logic in computer science Deterministic pushdown automaton Constructible universe Symbol Bisimulation Computer science Theoretical computer science Automata theory Applied mathematics		1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 238,96 KB Share Document on Facebook