Формален систем: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
с Бот: козметички промени
Ред 8:
# [[Граматика]], која ни кажува како [[добро-образувана формула|добро-образуваните формули]] се составени од симболите од азбуката. За да се реши дали формулата е добро-образувана или не треба да се има извесна процедура за решавање.
# Множество аксиоми или [[аксиоматска шема|аксиоматски шеми]]: секој аксиом мора да претставува добро-образувана формула.
# Множество [[правило на инференција|правило на инференција]].
 
За еден формален систем се вели дека е [[рекурзивно множество|рекурзивен]] (т.е. ефективен) ако множеството аксиоми и множеството правила на инференција претставуваат [[рекурзивно множество|нерешителни множества]] или [[полурешливо множество|полурешителни множества]], според контекстот.
Ред 21:
{{Main|Формален јазик}}
 
Формален јазик е множество (конечни) низи ''А'' од утврдена азбука αα.
 
=== Формална граматика ===
{{main|Формална граматика}}
Во [[информатика]]та и [[лингвистика]]та, формална граматика е прецизниот опис на еден [[формален јазик]]: [[множество]] [[низа (информатика)|низи]]. Двете главни категории на формална граматика се [[генеративна граматика|генеративните граматики]], кои се множество правила генерирање на јазичките низи, и [[аналитичка граматика|аналитичките граматики]], што претставуваат множество правила за анализирање на низите со цел да се одреди дали низата му припаѓа на јазикот. Накратко, аналитичката граматика нè учи како да ''распознаеме'' кои низи му припаѓаат на множеството, додека генеративната граматика нè учи како да ''пишуваме'' само тие низи во множеството.
Ред 51:
 
== Литература ==
* Raymond M. Smullyan, ''Theory of Formal Systems: Annals of Mathematics Studies'', Princeton University Press (1 април, 1961) 156 стр. ISBN 069108047X0-691-08047-X
* S. C. Kleene, 1967. ''Mathematical Logic'' Препечатено од Dover, 2002. ISBN 04864253390-486-42533-9
 
== Видете исто така ==