Gjuha formale
From Wikipedia, the free encyclopedia
Në logjikë, matematikë, shkenca kompjuterike dhe gjuhësi, një gjuhë formale përbëhet nga fjalë, shkronjat e të cilave janë marrë nga një alfabet dhe janë të mirëformuara sipas një grupi të caktuar rregullash.
Alfabeti i një gjuhe formale përbëhet nga simbole, shkronja ose shenja që bashkohen në vargjet e gjuhës.[1] Çdo varg i lidhur nga simbolet e këtij alfabeti quhet fjalë, dhe fjalët që i përkasin një gjuhe të caktuar formale quhen ndonjëherë fjalë të formuara mirë ose formula të formuara mirë. Një gjuhë formale shpesh përkufizohet me anë të një gramatike formale, siç është gramatika e rregullt ose gramatika pa kontekst, e cila përbëhet nga rregullat e formimit të saj.
Në shkencën kompjuterike, gjuhët formale përdoren ndër të tjera si bazë për përcaktimin e gramatikës së gjuhëve të programimit dhe versioneve të formalizuara të nëngrupeve të gjuhëve natyrore, në të cilat fjalët e gjuhës përfaqësojnë koncepte që lidhen me kuptime ose semantikë të veçantë. Në teorinë e kompleksitetit llogaritës, problemet e vendimit përcaktohen në mënyrë tipike si gjuhë formale, dhe klasat e kompleksitetit përcaktohen si grupe të gjuhëve formale që mund të analizohen nga makinat me fuqi të kufizuar llogaritëse. Në logjikë dhe themelet e matematikës, gjuhët formale përdoren për të përfaqësuar sintaksën e sistemeve aksiomatike, dhe formalizmi matematik është filozofia që e gjithë matematika mund të reduktohet në manipulimin sintaksor të gjuhëve formale në këtë mënyrë.
Fusha e teorisë së gjuhës formale studion kryesisht aspektet thjesht sintaksore të gjuhëve të tilla - domethënë modelet e tyre të brendshme strukturore. Teoria e gjuhës formale doli nga gjuhësia, si një mënyrë për t'i kuptuar rregullsitë sintaksore të gjuhëve natyrore.