Mona: Monadic Second-Order Logic in Practice


The purpose of this article is to introduce Monadic Secondorder Logic as a practical means of specifying regularity. The logic is a highly succinct alternative to the use of regular expressions. We have built a tool MONA, which acts as a decision procedure and as a translator to finitestate automata. The tool is based on new algorithms for minimizing… (More)
DOI: 10.1007/3-540-60630-0_5

3 Figures and Tables



Citations per Year

384 Citations

Semantic Scholar estimates that this publication has 384 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics