Полный англо-русский словарь
Мат. автомат с бесконечным последовательно структурированным числом состояний