my implementations for TLA4001(at IUST) projects for Theory of Languages & Automata on spring 2022 at IUST.