Мне дали задание проверить, является ли этот язык регулярным:
L = {w∈{a,b,c}* | where the number of a is less than the number of b+c.}
Я не могу найти для этого ни регулярного выражения, ни детерминированного (или нет) конечного автомата. С другой стороны, я не нашел способа доказать обратное с помощью теоремы о накачке.
Есть идеи?