This is a program which establish if two processes are equivalent. 
It produces two grids for each process: one grid is the original process inputted by the user,
the second is the greedy process which is used to check equivalence. 
Red blocks corrospond to "A"s, blue blocks corrospond to "B"s and grey blocks represent a rule name.

To Run:
- Run main.py using an updated version of python
- Tkinter and matplotlib must be installed.

How to Use:
1. Launch the program.
2. Enter the number of rules you want (maximum 10). 
3. Define rules and their names.
4. Input the two rewrite using As and Bs, steps are line by line. 
   If this input does not logically make sense, it will show an error.
5. Press "Check Equivalence" to generate the visualisation and check equivalence.

Example process input:
1 rule
LHS = AAB, RHS = BAAB, name = "x"

input 1: 
xx
BAABBx

input 2:
xx
BxBAAB

