Representing Constraints with Automata

43791

Knowledge Triples

Source Entity	Relationship	Target Entity
Синтаксические теории на основе ограничений Method	describes	Конечные деревоавтоматы Method
Конечные деревоавтоматы Method	uses	Слабая монадная логика второго порядка Method