Teoria limbajelor formale

Această intrare sau secțiune despre subiectul teoriilor informatice nu citează sursele necesare sau cei prezenți sunt insuficienți . Puteți îmbunătăți această intrare adăugând citate din surse de încredere în conformitate cu liniile directoare privind utilizarea surselor .

Această intrare despre subiectul teoriilor computerului este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia .

Teoria limbajelor formale este o ramură a matematicii aplicate care studiază seturi de șiruri, adică limbaje formale și proprietățile acestora, urmând diverse abordări. Proprietățile studiate își găsesc aplicația în logică , informatică și lingvistică .

• Abordare generativă : un limbaj este definit ca ansamblul tuturor și numai șirurilor care sunt produse de o gramatică generativă , un sistem Lyndenmayer sau un alt sistem de rescriere .
• Abordare recunoscută: un limbaj este definit ca ansamblul tuturor și numai șirurilor acceptate de un automat .
• Abordare denotațională : un limbaj este definit prin intermediul unor expresii simbolice compacte, cum ar fi expresiile regulate , care denotă (toate și numai) șirurile sale într-o formă concisă.
• Abordare algebrică : un limbaj este definit prin proprietățile sale algebrice, în special proprietăți atribuibile teoriei semigrupurilor și algebrelor Kleene .
• Abordare transformativă : un limbaj este definit ca fiind obținut prin supunerea unui alt limbaj, care tinde să fie mai simplu, unei transformări date.

Portal IT

Portalul de matematică