There are known mechanisms to succinctly describe regular languages, such as nondeterministic finite automata, boolean automata, and statecharts. The MERLin project is an investigation into and comparison of different description mechanisms for the regular languages. In particular, we are concerned with descriptions which, for a specific application domain, often achieve succinctness. To this end we implemented a Modelling Environment for Regular Languages (MERLin). This paper describes the application of the MERLin system to analyze the behaviour of selective nondeterministic finite automata.
CITATION STYLE
Van Zijl, L., Harper, J. P., & Olivier, F. (2001). The MERLin environment applied to-NFAs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2088, pp. 318–326). Springer Verlag. https://doi.org/10.1007/3-540-44674-5_28
Mendeley helps you to discover research relevant for your work.