The machine detects, whether entered line belongs to the given below grammar:
- S -> aA | bS
- A -> aS | _
stack build
or build with ghc the main source file: main.hs
stack exec
or run the built exec file
or use ghci to load the module on the same main.hs