Diskuse:Rekurzivně spočetný jazyk

Přejmenování článku

Navrhuji tento článek Rekurzivně spočetný jazyk přesunout na nový název Rekurzivně spočetná množina s tím, že původní název bude obsahovat redirect na sekci v novém, která vysvětlí, že pojem je definován stejně pro množiny přir. čísel jako pro "jazyky" (tedy množiny "slov" nad nějakou abecedou). Konec konců každý jazyk lze kódovat přirozenými čísly a přirozená čísla lze zase kódovat v desítkové nebo dvojkové soustavě jako slova jazyka.

A zmínit tam na okraj, že pro jazyk ve smyslu "schéma axiomů" to platí přesně stejně, jako pro jakékoli jazyky v teorii automatů - aby bylo možné z článků o Goedelově větě bez dalšího vysvětlené udělat link na "Rekurzivně spočetný jazyk".

Navrhuji totéž udělat i pro Rekurzivní jazyk. Myslím, že to zvýší celkovou přehlednost a porozumění tématu.

Možná by šlo tu poznámku o vzájené kódovatelnosti udělat v úvodu s linkem na článek, kde to kódování bude blíž vysvětleno....? --Pavel Jelínek 30. 9. 2010, 13:37 (UTC)

Myslím, že tentokrát nemáš pravdu. Většina čtenářů bude hledat jazyk, budou to programátoři a jiní informatici (případně studenti odpovídajících fakult). Oni jsem příjdou pro to, aby se podívali jaké vlastnosti má jazyk a patřičný automat. Ty to nebude zajímat. A ani těm většinou moc nevysvětlíš spojitost mezi jazyky a množinami. Byl bych víc pro dva články vzájemně provázané. Zagothal 1. 10. 2010, 07:46 (UTC)