Skazzi00/Formal2021

Formal Languages

Content

• eNFA -> NFA -> DFA

Prerequisites

• cmake
• graphviz
• clang or gcc C++20

Build

$ git submodule update --init
$ mkdir -p build
$ cd build
$ cmake ..
$ make -j

Run

Main

$ ./eNFAtoDFA

Tests

$ ./runUnitTests