Study of Formal Parallel Language Generation
Abstract
This purpose of this study was to develop a tool to automate the generation of sentences of a grammar. The generation of the sentences were to be done in parallel. The parallel method used is based on Dijkstra's guarded commands. The tool can be used as a teaching aid to check the existence ofa sentence in a language generated by a grammar. The software tool that was developed as part of this thesis work places certain restrictions on the type of granunar being used. These restrictions limit the languages to be considered to those that are recursive and do not contain empty productions. These restrictions only allow the productions of the grammar to increase the sentential forms in size or to leave the size ofthe sentential forms unchanged. All derivations were done in a leftmost manner. The tool was written to run under Microsoft Windows NT as an MFC-based application.
Collections
- OSU Theses [15752]