Digitalna knjižnica Slovenije
Narodna in univerzitetna knjižnica
Splošne knjižnice
Celjsko območje
Vse knjižnice območja
Osrednja knjižnica Celje
Knjižnica Laško
Osrednja knjižnica Mozirje
Knjižnica Šentjur
Knjižnica Šmarje
Knjižnica Velenje
Medobčinska splošna knjižnica Žalec
Dolenjsko območje
Knjižnica Mirana Jarca Novo mesto
Knjižnica Brežice
Knjižnica Kočevje
Valvasorjeva knjižnica Krško
Knjižnica Miklova hiša, Ribnica
Gorenjsko območje
Mestna knjižnica Kranj
Občinska knjižnica Jesenice
Knjižnica A. T. Linharta, Radovljica
Knjižnica Ivana Tavčarja, Škofja Loka
Knjižnica dr. Toneta Pretnarja, Tržič
Goriško območje
Goriška knjižnica Franceta Bevka Nova Gorica
Lavričeva knjižnica, Ajdovščina
Mestna knjižnica in čitalnica Idrija
Knjižnica Cirila Kosmača Tolmin
Koroško območje
Koroška osrednja knjižnica dr. Franca Sušnika Ravne na Koroškem
Knjižnica Radlje ob Dravi
Knjižnica Ksaverja Meška, Slovenj Gradec
Obalno-kraško območje
Osrednja knjižnica Srečka Vilharja Koper
Knjižnica Makse Samsa, Ilirska Bistrica
Mestna knjižnica Izola - Biblioteca civica di Isola->Matična knjižnica Izola
Mestna knjižnica Piran
Kosovelova knjižnica Sežana
Osrednjeslovensko območje
Mestna knjižnica Ljubljana
Knjižnica Jožeta Udoviča, Cerknica
Knjižnica Domžale
Knjižnica Grosuplje
Knjižnica Franceta Balantiča Kamnik
Knjižnica Litija
Knjižnica Logatec
Knjižnica Medvode
Cankarjeva knjižnica Vrhnika
Pomursko območje
Pokrajinska in študijska knjižnica Murska Sobota
Javni zavod Knjižnica Gornja Radgona
Splošna knjižnica Ljutomer
Spodnjedravsko območje
Knjižnica Ivana Potrča Ptuj
Knjižnica Franca Ksavra Meška Ormož
Štajersko območje
Mariborska knjižnica
Knjižnica Lenart
Knjižnica Josipa Vošnjaka Slovenska Bistrica
Druge knjižnice
Bayerische StaatsBibliotek
Centralna pravosodna knjižnica
Centralna tehniška knjižnica Univerze v Ljubljani
Knjižnica Dušana Černeta Trst
Kraljeva knjižnica, Danska nacionalna knjižnica in univerzitetna knjižnica v Kopenhagnu
Narodna in študijska knjižnica
Österreichische Nationalbibliothek
Semeniška knjižnica
Slovenska študijska knjižnica Celovec
Škrabčeva knjižnica
Univerzitetna knjižnica Maribor
Arhivi in muzeji
Arhiv Republike Slovenije
Goriški muzej
Loški muzej Škofja Loka
Muzej in galerije mesta Ljubljana
Muzej Miklova hiša
Muzej novejše zgodovine Celje
Narodni muzej Slovenije
Pokrajinski arhiv Maribor
Pokrajinski muzej Kočevje
Prirodoslovni muzej Slovenije
Slovenian Museum and Archives - Slovenski muzej in arhiv
Slovenski etnografski muzej
Slovenski šolski muzej
Škofijski arhiv Koper
Menu
SLO
|
ENG
author
full-text
keywords
date
title
source
publisher
collection
AND
OR
NOT
author
full-text
keywords
date
title
source
publisher
collection
AND
OR
NOT
author
full-text
keywords
date
title
source
publisher
collection
AND
OR
NOT
author
full-text
keywords
date
title
source
publisher
collection
AND
OR
NOT
ADVANCED SEARCH
About us
Cooperation
Terms of use
Partners
News
Virtual exhibitions
Contact us
My dLib.si
Email
:
Pass.:
Login
Register!
Forgoten password
home
query
URN:NBN:SI:doc-0KGZHM4E
Zapri
<script>(function (d, script) { script = d.createElement('script'); script.type = 'text/javascript'; script.async = true; script.onload = function () { iFrameResize({ log: true, checkOrigin: false }) }; script.src = 'https://cdnjs.cloudflare.com/ajax/libs/iframe-resizer/3.5.11/iframeResizer.min.js'; d.getElementsByTagName('head')[0].appendChild(script); }(document));</script><iframe frameborder="0" width="100%" height="482px;" src="http://www.dlib.si/card/URN:NBN:SI:doc-0KGZHM4E"></iframe>
Zapri
Monadična logika drugega reda in prepoznavni jeziki
1. PDF document (476 kB)
1. TXT document (46 kB)
Add to EndNote (RIS format)
Contibutor(s)
Nemanič, Anara (author)
Language
slovenian
Source
Matrika
Year
2026
Numbering
volume 13,
issue 2
Content
Büchi theorem
finite automata
monadic second order logic
recognisable languages
second order logic
Publisher
Založba Fakultete za matematiko in fiziko Univerze v Ljubljani
Provider
Univerza v Ljubljani, Fakulteta za matematiko in fiziko
(Obvezni izvod spletne publikacije)
description
Finite automata can be viewed as mathematical models that read words and decide whether they belong to a given language, while monadic second-order logic can be viewed as a logical formalism for expressing properties of words using relations between positions of letters in words. Although these notions appear to be quite different at first sight, they are connected by a remarkable result known as Büchi’s theorem. This theorem states that the languages recognised by finite automata are precisely the languages that can be defined by sentences of monadic second-order logic. This article introduces the basic concepts of automata theory and monadic second-order logic and presents a proof of Büchi’s theorem in both directions.
Rights
URN
URN:NBN:SI:doc-0KGZHM4E
COBISSID
291919619
Added
23.09.2026
Metadata
Citation
APA:
Nemanič, Anara (2026). Monadična logika drugega reda in prepoznavni jeziki.
Matrika
, volume 13, issue 2, 15 str
.
URN:NBN:SI:doc-0KGZHM4E
from http://www.dlib.si
MLA:
Nemanič, Anara. "Monadična logika drugega reda in prepoznavni jeziki."
Matrika
volume 13. issue 2 (2026) 15 str..
<http://www.dlib.si/?URN=URN:NBN:SI:doc-0KGZHM4E>
Matrika
2014-
(Assembly record)