Alguns pontos:
Sobre loops infinitos com o para
As variáveis têm valores declarados dentro do "para ate faca". Em qualquer código isto faz com o que o loop seja infinito.
Meio que não. Primeiro que, aqui no VisualG, não seria possível declarar variáveis a não ser após o var, antes do programa começar (ou dentro de funções ou procedimentos). Se estiver referindo a "inicializar", também não. A variável de controle lá no para não se altera, ou seja, tecnicamente uma hora vai parar (apenas pode ter uma quantidade muito grande de laços). Quando o fluxo do código volta para "assinatura do para", magicamente o contador volta de onde estava. É como se ficasse salvo em algum lugar misterioso. Exemplo:
algoritmo "Teste de loop infinito"
var
i : inteiro
inicio
para i de 1 ate 10 faca
i <- 2
escrevaL(i)
fimPara
fimAlgoritmo
Aqui eu estaria modificando o valor da variável de controle, mas simplesmente vai exibir na tela 2 dez vezes. :)
Já no Pascal, pai do VisualG, aí sim entraria em loop infinito, pois o "contador voltaria para o 2, assim nunca chegando no 10".
Inclusive eu posso consigo fazer isso:
algoritmo "Numberlist 9 digitos"
var
i : inteiro
inicio
para i de 0 ate 3 faca
para i de 0 ate 3 faca
para i de 0 ate 3 faca
escreva (i)
fimPara
escrevaL("")
fimPara
fimPara
fimAlgoritmo
Vai exibir 0 1 2 3 vinte e sete vez.
Já no Pascal vai exibir uma vez só, pois ao terminar o para mais interno, o i ficaria com 3, que terminaria o segundo para (já que 3 é o limite), ia votar por primeiro para, que também terminaria. Aqui, é uma variável compartilhada para os três laços. No VisualG, cada para cria uma variável própria (bem estranho isso. É uma limitação das versões, não era para ser assim!).
Sobre tipos de variáveis
Em "escreva(..)" as variáveis estão escritas entre aspas. O que caracteriza as variáveis como texto, contrariando a declaração de variáveis como "inteiro"
Então, mesmo se fosse uma variável de texto, o modo de exibir seria igual...
var
nome : caractere
...
escrevaL(nome)
Na verdade, você simplesmente não estava referenciando as variáveis, ou seja, "em vez passar variáveis como parâmetro, você passou textos". Apenas esses textos estariam correspondendo às nomenclaturas das variáveis... Resumindo: não usa aspas duplas para referenciar variáveis.
Exemplo de código para o problema em si
algoritmo "Numberlist 9 digitos"
var
i1, i2, i3, i4, i5, i6, i7, i8, i9 : inteiro
inicio
para i1 de 0 ate 9 faca
para i2 de 0 ate 9 faca
para i3 de 0 ate 9 faca
para i4 de 0 ate 9 faca
para i5 de 0 ate 9 faca
para i6 de 0 ate 9 faca
para i7 de 0 ate 9 faca
para i8 de 0 ate 9 faca
para i9 de 0 ate 9 faca
escrevaL(i1,i2,i3,i4,i5,i6,i7,i8,i9)
fimPara
fimPara
fimPara
fimPara
fimPara
fimPara
fimPara
fimPara
fimPara
fimAlgoritmo
Daí seriam 10x10x10x10x10x10x10x10x10 repetições... totalizando 1000000000 ciclos... é grande (lá ele), mas tem fim.
Adendo: o VisualG tenderá a dar erros, devido às suas limitações técnicas.