Skip to content

Latest commit

 

History

History
23 lines (14 loc) · 612 Bytes

README.md

File metadata and controls

23 lines (14 loc) · 612 Bytes
Raw

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