Wyjaśniamy czym są języki formalne, ich cechy charakterystyczne, przykłady i rodzaje. Również jego różnice z językami naturalnymi.
Co to jest język formalny?
w przetwarzanie danych i informatyka, kiedy odwołujemy się do języka formalnego w przeciwieństwie do języków naturalnych, odnosimy się do tych systemów oznaki obdarzony prymitywnymi symbolami i formalnie sprecyzowanym systemem zasad użytkowania, czyli obdarzony a alfabet i gramatyka (lub składnia) formalne:
- Alfabet jest rozumiany jako skończony i niepusty zbiór symboli pierwotnych.
- Gramatyka formalna jest rozumiana jako skończony zbiór reguł kombinacji wspomnianego alfabetu w celu utworzenia skończonych łańcuchów o określonym znaczeniu.
Różni się tym od języków naturalnych, powstałych wokół ludzkiej potrzeby komunikowania się, w których reguły są złożone i niejednoznaczne, a znaczenie zależy od interpretacji znaki językowe. Z tego powodu języki naturalne są nieskończenie bardziej złożone niż czytanie języka formalnego, którego zasady są skończone i ustalone z góry.
Języki formalne są ważne dla świata matematyka i z przetwarzanie danych, ponieważ pozwalają nam tworzyć kody komunikacja między ludźmi a maszynami, czyli programowanie. Nie powinniśmy mylić języków formalnych z formalnym poziomem języka lub z język formalny, czyli formalne, grzeczne i formalne użycie języka werbalnego, w przeciwieństwie do jego używania potoczny, rozczochrany i nieformalny.
Według amerykańskiego językoznawcy Noama Chomsky'ego (1928-) języki formalne można podzielić na cztery typy:
- Typ 3: języki regularne wyposażone w gramatykę regularną, czyli systemy reguł, które można uzyskać za pomocą wyrażeń regularnych i które umożliwiają uzyskanie wszystkich możliwych ciągów znaków.
- Typ 2: języki niekontekstowe wyposażone w gramatyki niekontekstowe, czyli pozwalają na uzyskanie wszystkich możliwych ciągów znaków, ale na znacznie wyższym poziomie złożoności niż zwykłe.
- Typ 1: języki kontekstowe wyposażone w gramatyki kontekstowe, czyli pozwalające na uzyskanie ciągów symboli zależnych, jak ich nazwa wskazuje, kontekst.
- Typ 0: wolne języki, wyposażone w wolną gramatykę, bez ograniczeń, co daje języki rekurencyjnie przeliczalne.
Przykłady języków formalnych
Przykładami języków formalnych są:
- ten języki programowania z którym oprogramowanie.
- Gra w szachy, której pionki są ograniczone, a ruchy opisane z góry.
- Alfabet Morse'a, który składa się z krótkich i długich znaków słowa Y liczby całkowite.
- Własny logika symboliczny stanowi język formalny.