DMCA
MONA: Monadic Second-Order Logic in Practice (1995)
Cached
Download Links
- [www.brics.dk]
- [www.brics.dk]
- [www.brics.dk]
- DBLP
Other Repositories/Bibliography
| Venue: | IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019 |
| Citations: | 149 - 20 self |
BibTeX
@INPROCEEDINGS{Henriksen95mona:monadic,
author = {Jesper G. Henriksen and Ole J.L. Jensen and Michael E. Jørgensen and Nils Klarlund and Robert Paige and Theis Rauhe and Anders B. Sandholm},
title = {MONA: Monadic Second-Order Logic in Practice},
booktitle = {IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019},
year = {1995},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The purpose of this article is to introduce Monadic Second-order 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 finite-state automata. The tool is based on new algorithms for minimizing finitestate automata that use binary decision diagrams (BDDs) to represent transition functions in compressed form. A byproduct of this work is a new bottom-up algorithm to reduce BDDs in linear time without hashing. The potential
