Skip to content

Files

Latest commit

 

History

History
50 lines (31 loc) · 1.7 KB

README.md

File metadata and controls

50 lines (31 loc) · 1.7 KB

Finite-State-Machine

HSE SPb Project for formal languages course

Syntax description

Syntax is described here -- syntax_description.

Tasks of Imamutdinova Liliia

Parser

Link

Run from the console with the command python3 parser_fsm.py filename.

Lexer

Link

Run from the console with the command python3 lexer.py filename.

Examples

Link

Tasks of Ivlev Nikita

Product

Link

Run from the console with the command python3 product.py operation filename1 filename2. The operation may be "addition" "association" "difference" "intersection".

Examples for product

Link

Tasks of Andrew Poshtarenko

Minimization

Link

Run from the console with the command python3 minimization.py task2_example1.txt

Examples for minimization

Link

Determinization

Link

Run from the console with the command python3 determinization.py task1_example1.txt

Examples for determinization

Link