Anglais ⇄ Russe +

trading time for space in DFA simulation contraintes
progr.	компромисс между скоростью и используемой памятью при моделировании ДКА (ДКА – детерминированный конечный автомат (deterministic finite automaton) ssn)