Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
Stránky: 1
- Hlavní strana
- » Algoritmy a programování
- » HTML rekurzivně spočetný jazyk? (TOTO TÉMA JE VYŘEŠENÉ)
#2 02. 11. 2010 19:11
- Kondr
- Veterán
- Místo: Linz, Österreich
- Příspěvky: 4247
- Škola: FI MU 2013
- Pozice: Vývojář, JKU
- Reputace: 38
Re: HTML rekurzivně spočetný jazyk?
Na intuitivní úrovni "ano, protože pro něj existují validátory". Pokud bychom chtěli formální důkaz, bylo by potřeba vyjít z nějaké konkrétní specifikace jazyka.
BRKOS - matematický korespondenční seminář pro střední školy
Offline
#3 03. 11. 2010 20:42
- check_drummer
- Příspěvky: 5513
- Reputace: 106
Re: HTML rekurzivně spočetný jazyk?
Jenom doplním, že tím, že pro něj existují "validátory", je dokonce rekurzivní.
"Máte úhel beta." "No to nemám."
Offline
Stránky: 1
- Hlavní strana
- » Algoritmy a programování
- » HTML rekurzivně spočetný jazyk? (TOTO TÉMA JE VYŘEŠENÉ)