Arithmetic Expressions Language Checker

A tool for checking correctness of arithmetic expressions
(multiplications) using Type-0 and Type-1 grammars.
Currently implemented with unary numeral system.

Usage

You will need only Python 3.8 to run the tool from command line:

python main.py grammar word

• grammar: could be t0 (to use Recursively enumerable grammar) or t1
  (to use Context-sensitive grammar)

• word: a word to check for correctness, use symbols 1, *, and =
  without spaces

  Examples

• python main.py t0 1*11=1

• python main.py t1 111*11=111111