https://github.com/keiichiw/buechi-nonemptiness

https://github.com/keiichiw/buechi-nonemptiness

Last synced: 12 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/keiichiw/buechi-nonemptiness
• Owner: keiichiw
• Created: 2015-07-13T11:22:16.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-07-13T11:23:20.000Z (over 9 years ago)
• Last Synced: 2024-11-08T01:14:24.000Z (2 months ago)
• Language: OCaml
• Size: 102 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# nonemptiness check of Büchi automata

## Requirement

* OCaml 4.02.1

* ocamllex 4.02.1

* ocamlyacc 4.02.1

* ocamlbuild 4.02.1

## How to use

```

$ make

$ ./main.native ./sample/nonempty1.txt

nonempty!

./sample/nonempty1.dot created!

$ dot -Tpng ./sample/nonempty1.dot -o nonempty1.png

```

## Syntax of input file

```

  ::=   

      ::= {  "->" }

      ::= "S0:" {}

 ::= "F:"  {}

      ::=  ( | )+

      ::= 'a'|..|'z'|'A'|..|'Z'|'_'

      ::= '0'|..|'9'

```