Как и предполагал, на семинарах по теории автоматов и формальных языков мы занимаемся делом ^_^