Definimos uma linguagem de árvore regular como no livro TATA : É o conjunto de árvores aceito por um autômato finito de árvore não determinístico (Capítulo 1) ou, equivalentemente, o conjunto de árvores geradas por uma gramática regular de árvores (Capítulo 2). Ambos os formalismos têm grandes semelhanças com os conhecidos análogos de cordas.
Existe uma linguagem de árvore comum em que a altura média de uma árvore de tamanho não seja nem ?Θ ( n ) Θ ( √
Obviamente, existem linguagens de árvore de modo que a altura de uma árvore é linear em seu tamanho; e no livro Analytic Combinatorics , é mostrado, por exemplo, que árvores binárias de tamanho têm altura média . Se eu entendi a Proposição VII.16 (p.537) do livro mencionado corretamente, existe um amplo subconjunto de linguagens de árvore regulares que têm altura média de , ou seja, aquelas em que o idioma da árvore também é uma variedade simples de árvores que preenchem algumas condições extras.2 √ Θ( √
Então, eu queria saber se existe uma linguagem de árvore regular mostrando uma altura média diferente ou se existe uma dicotomia verdadeira para linguagens de árvore regulares.
Nota: Esta pergunta já foi feita antes em Ciência da Computação , mas não foi respondida por mais de três meses. Gostaria de republicá-lo aqui, porque a pergunta é muito antiga para migrar e porque ainda há interesse na questão. Aqui está um link para a postagem original.
Respostas:
Acredito que a resposta é como você sugere que não são possíveis outros assintóticos além de , e . Uma rota promissora para provar isso pode ser a aplicação das técnicas do artigo que deriva os assintóticos às árvores de execução da linguagem comum. Observe que uma árvore é aceita se existir uma árvore de execução, portanto, é possível derivar primeiro (usando loc.cit. ) A altura média de uma árvore de execução gerada aleatoriamente e levá-la a partir daí, ou seja, mostrar que projetar os estados não mude a altura média.Θ ( √Θ(1) Θ(n)Θ( √Θ(n−−√) Θ(n) Θ(n−−√)
fonte