Title: Logicheskie ėksperimenty s avtomatami