ENG  RUSTimus Online Judge
Online Judge
Задачи
Авторы
Соревнования
О системе
Часто задаваемые вопросы
Новости сайта
Форум
Ссылки
Архив задач
Отправить на проверку
Состояние проверки
Руководство
Регистрация
Исправить данные
Рейтинг авторов
Текущее соревнование
Расписание
Прошедшие соревнования
Правила
вернуться в форум

Обсуждение задачи 1559. TruCoders Linguistics

Can you explain this test?
Послано Mickkie 12 ноя 2020 21:37
a0a*
F

My WA output N (infinite)
I interpret this as (a)concat(0)concat(a*) = {a, aa, aaa, aaaa, ...}
Re: Can you explain this test?
Послано Markadiusz 5 июл 2023 16:40
This expression describes words of the form xyz, where x comes from the set {a}, y comes from the set {} (i.e. empty set), and z comes from the set {empty_word, a, aa, aaa, ...}. Since y must be an element of an empty set, there is no such word of the form xyz, so the answer is F.