Wersja z 03:11, 17 sie 2007 edytuj SieBot (dyskusja \| edycje) 271 497 edycji m robot dodaje: uk:Формальна мова ← poprzednia edycja		Wersja z 22:07, 27 paź 2007 edytuj anuluj edycję 85.222.21.198 (dyskusja) styl następna edycja →
Linia 1: '''Język formalny''' – jedno z najważniejszych pojęć w [[Informatyka teoretyczna\|informatyce teoretycznej]], [[Logika matematyczna\|logice matematycznej]], [[Metodologia\|metodologii nauk dedukcyjnych]]. Wybierzmy ~~jakiś~~pewien '''skończony zbiór symboli''', i nazwijmy go '''alfabetem'''. Dla przykładu może być to zwyczajny polski [[alfabet]], złożony z liter ''a'', ''ą'', ''b'', ''c'', ''ć'' itd., choć może być nim np. [[zbiór]] cyfr od 0 do 9, czy też coś bardziej egzotycznego. Z symboli takiego alfabetu możemy budować '''słowa''' – skończone [[Ciąg (matematyka)\|ciągi]] [[symbol]]i. [[Słowo\|Słowem]] nad alfabetem polskich liter jest więc "''ala''", "''słoneczko''", ale też "''myzmyz''" czy słowo puste "", oznaczane też symbolem <math>\epsilon</math>.

Język formalny: Różnice pomiędzy wersjami