Linguagens regulares que não podem ser expressas com apenas duas operações regex


12

Eu pensei que todos os idiomas regulares pudessem ser expressos com expressões regulares (se um idioma for regular, pode ser expresso com regex), mas me disseram que você precisa das três operações regulares (concatenação, união e estrela) para isso segurar.

Por exemplo, me disseram que se eu pudesse usar apenas as operações regex de união e concatenação (2 em 3), haveria uma linguagem regular que não posso descrever apenas com essas duas.

O mesmo com apenas a estrela e a união Kleene. Quais são alguns exemplos disso?

Respostas:


19

Com apenas união e concatenação, você não pode descrever nenhum idioma infinito. A união e concatenação só podem produzir muitas seqüências finitas. Com apenas union e a estrela Kleene, você não pode descrever um idioma como , porque não há como concatenar uma expressão gerando apenas a com uma expressão gerando apenas b . Com apenas concatenação e a estrela Kleene, você não pode descrever um idioma como L = { a , b } .L={ab}abL={a,b}


3
.... e não é possível sem união. {uma,b}
Raphael

Então, por que não posso descrever L = {a, b} sem união? É porque eles não podem ser representados como elementos separados com estrela e concatenação? Só poderia fazer ab, bb, aba etc.?
user3295674

@ user3295674 Exatamente.
DylanSp

e algo como L = {a *} não seria possível com apenas união e concatenação, certo? Muito obrigado!
user3295674

Eu nem entendo como estrela seria definida sem concatenação disponível.
G. Bach


4

A(ab)(a(ab)b)(aa)

Se alguém agora permite usar estrelas em estrela, mas não estrelas aninhadas , é um problema em aberto (por pelo menos 45 anos) saber se é possível obter todos os idiomas regulares. Essa questão é conhecida como problema generalizado da altura da estrela . É semelhante ao problema de altura da estrela mencionado por Yuval Filmus, com a diferença de que a complementação agora é permitida.

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.