Введение в формальный язык лингвистики - Лекомцев Ю.К (Дет. лит., 1983)