Složitost jazyků s rovností

Abstrakt

Použitím algebraických metod pro constraint satisfaction s nekonečně mnoha hodnotami klasifikujeme složitost všech jazyků s podmínkami, které se dají vyjádřit jako booleovské kombinace relace =.

Klíčová slova

• complexity
• Equality
• Constraint
• Languages