Mona: Monadic Second-Order Logic in Practice

Abstract

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

Topics

Statistics

0102030'96'98'00'02'04'06'08'10'12'14'16'18
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