Czy zwykłe języki są zamknięte pod sortowaniem (obraz Parikh)?

10

Załóżmy, że to zwykły język nad uporządkowanym alfabetem. Czy język jest zbudowany przez wzięcie każdego słowa w i posortowanie go zawsze jako zwykłego języka?LL

Andrzej
źródło

Odpowiedzi:

17

Nie. Przeciwprzykład: zakładając, , mamy , którego nie można wyrazić wyrażeniem regularnym, lematem pompującym dla zwykłych języków .a<b(ab)sorted{anbn|n0}

Niel de Beaudrap
źródło