Rozšířený interpret Q-systémů

Abstrakt

Reimplementace Q-systémů v C++. Oproti původní specifikaci umožňuje používat pojmenované proměnné a automaticky rozpoznává vznikající duplicitní hrany a zabraňuje tak exponenciální explozi velikosti grafu.

Klíčová slova

• extended
• interpreter
• Q-systems