formális nyelv

Kapcsolódó fogalmak: 
természetes nyelv
Kapcsolódó fogalmak: 
formális nyelvtan
Rövid szöveges bemutatás: 
Formális nyelveknek nevezzük, az általában ember alkotta nyelveket, melyek szigorú matematikai szabályokat követnek. A formális nyelvek, a nyelvben megengedett karakterfüzérek halmazaként van definiálva. Azonban a karakterfüzérek között szigorú szabályok állnak, így biztosítva, hogy mindig értelmezhető kifejezések szülessenek. Ilyen formális nyelv az elsőrendű logikai vagy bármely programozási nyelv vagy a különböző kódok. A szabályrendszert a formális nyelvtan biztosítja. Például a "Q v /P" egy értelmes elsőrendű logikai kifejezés, de bizonyosan értelmetlen bármely gépi fordító számára. Ezzel szemben állnak a természetes nyelvek, melyek nincsenek szabályokhoz kötve, így folyamatosan szabadon változhat.