O’zbekiston respublikasi vazirlar mahkamasi huzuridagi toshkent islom universiteti

3. ;
4.
5.
Тил тушунчаси. Тилни формал аниклаш

Умумий холатда тил – бу берилган символлар ва коидалар тупламидир. Хаар бир сунъий ва хакикий тилнинг асоси алфавит булиб, бу алфавит тилнинг мумкин булган символларини аниклайди.

Алфавит - бу тилнинг мумкин булган символлар тупламидир. Символ тупламини V билан белгилаймиз.
Символлар занжири V алфавит занжири хисобланади, яъни,. Агар унга факат символлар кирса, V тупламга тегишли булган символлар кирса булади. Хаар кандай ихтиёрий алфавит V учун буш занжир хисобланади.
Агар V- кандайдир алфавит булса, ухолда :
V+ - сиз, V алфавит устидаг и хамма занжирлар туплами
V* - ни кушган холдаги V алфавит устидаги хамма занжирлар туплами. Бундан
Куйидаги тенглик хосил булади.:

V*=V+

яъни, V: L(V) алфавитидаги L тили деб, занжир узунлиги тўпламининг V алфавитдаги занжирлар тўпламига айтилади. Бунда тилнинг занжирлар тўплами тугалланган бш\ўлиши шарт эмас; бирон-бир тилга кирувчи символлар занжири тугалланган узунликка эга бўлиши керак, бу узунлик исталганча катта ва чекланмаган бўлиши мумкин. Кўпгина хақиқий ва сунъий тиллар тугалланмаган занжирлар тўпламидан иборат, шунингдек, занжир узунлиги чекланмаган,. (масалан, шу матн хам узбек тилидаги символлар занжирига мисол бўлиши мумкин. Берилган тилга тегишли бўлган символлар занжири тил таклифи деб хам аташади.
L(V) ихтиёрий тил учун : L(V ) тенглик ўринли.
L(V) тили бўлса ўз ичига ни олади:
тил занжири тўплами L(V) тил занжири тўпламининг ост тўпламидир. ( 1ки бу тўпламлар мос) Бу икки тил бир алфавит асосида қурилади. Ва улар эквивалентдир: яъни, = L(V), агар ва худди шунингдек, ва
Эквивалент тиллар учун мумкин бўлган символлар занжири тўплами тенг бўлиши керак.
L(V) ва тиллар эквивалент бўлади, қачонки, агар . Эквивалент тилларнинг мумкин бўлган символлар тўплами бир-биридан бўш символлар занжири билан фарқ қилади.