6

О логических теориях и конечных автоматах на бесконечных последовательностях