Downloads & Free Reading Options - Results

ISBN: 0 8053 0143 7

This booklet contains a variety or comments regarding J. Glenn Brookshear's text "Theory of Computation: Formal Languages, Automata, and Complexity" (ISBN 0-8053-0143-7) along with some ideas and transparency masters that a teacher or a course based on that text may want to use. The booklet contains a chapter corresponding to each chapter in the parent text and concludes with a section of transparency masters. Within each chapter are sections entitled General Comments, Comments Regarding Chapter Review Problems, and Additional Problems. ISBN 0-8053-0144-5

We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of \textsl{alphabets}, the definition of \textsl{orders} over alphabet symbols, the partial definition of \textsl{languages} using unit tests, and the definition of \textsl{mechanisms}, which implement language generators or language recognizers. Supported mechanisms include \textsl{predicates}, \textsl{regular expressions}, \textsl{finite automata}, \textsl{context-free grammars}, \textsl{Turing machines}, and \textsl{push-down automata}. L-FLAT entities are implemented using the object-oriented features of Logtalk, providing a highly portable and easily extendable framework. The use of L-FLAT in educational environments is enhanced by supporting Mooshak, a web application that features automatic grading of submitted programs.