Alguém reconhecer esta notação estranha?

Question

Eu tenho uma pergunta de um teste em uma classe de programação Línguas que está me confundindo.

Dê uma gramática livre de contexto para gerar o seguinte idioma

L = {A ⁱ b ^j c ^k | 0 <= i <= J <= i + k}

Eu estou completamente familiarizado com esta notação. Eu não consigo encontrar nada no livro ou minhas notas sobre ele, e eu não tenho idéia de como consulta o Google para a resposta.

Se você reconhecê-lo, o que é chamado e o que isso significa?

Answer 1

a ^ i significa apenas um repetidas vezes eu. Assim, um ^ 2 = aa, b ^ 10 = bbbbbbbbbb, etc

Answer 2

Muitas vezes,

• meios {} "o conjunto de"
• meios | "tal que"

Eu não tenho nenhuma idéia do que a, b, c são. i e j são números não-negativos, sendo maior do que ou igual a zero. Convencionalmente, as letras são reservados para números inteiros. O fato de que

i <= i + k

significa que k também é não-negativo.

Se a, b e c são reais, então parece-me que L é apenas o conjunto dos números reais. No entanto, parece ser uma maneira muito artificial e elaborado de especificá-lo. Isso seria algo como enredo de Dr. Evil para matar Austin Powers.

Então você tem "o conjunto de um para os tempos de energia i b ao poder j tempo c ao poder j tal que i, j, k são positivos, e j é maior ou igual a i ..." e assim por diante.