CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="el" dir="ltr"> <head> <meta charset="UTF-8"> <title>Θεωρία υπολογισμού - Βικιπαίδεια</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )elwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t.",".\t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","Ιανουάριος","Φεβρουάριος","Μάρτιος","Απριλίου","Μαΐου","Ιουνίου","Ιουλίου","Αύγουστος","Σεπτέμβριος","Οκτώβριος","Νοέμβριος","Δεκέμβριος"],"wgRequestId":"a6af274b-94b2-43b7-80dd-a9a51b9a6d92","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Θεωρία_υπολογισμού","wgTitle":"Θεωρία υπολογισμού","wgCurRevisionId":10357240,"wgRevisionId":10357240,"wgArticleId":80417,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Θεωρία υπολογισμού"],"wgPageViewLanguage":"el","wgPageContentLanguage":"el","wgPageContentModel":"wikitext","wgRelevantPageName":"Θεωρία_υπολογισμού","wgRelevantArticleId":80417,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true, "wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"el","pageLanguageDir":"ltr","pageVariantFallbacks":"el"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":30000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q844718","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false, "wgGELevelingUpEnabledForUser":false,"wgSiteNoticeId":"2.74"};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready","ext.dismissableSiteNotice.styles":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","mediawiki.page.media","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.imagelinks","ext.gadget.wikibugs","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups", "ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking","ext.dismissableSiteNotice"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=el&modules=ext.cite.styles%7Cext.dismissableSiteNotice.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=el&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=el&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Maquina.png/1200px-Maquina.png"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="667"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Maquina.png/800px-Maquina.png"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="444"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Maquina.png/640px-Maquina.png"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="356"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Θεωρία υπολογισμού - Βικιπαίδεια"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//el.m.wikipedia.org/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D"> <link rel="alternate" type="application/x-wiki" title="Επεξεργασία" href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Βικιπαίδεια (el)"> <link rel="EditURI" type="application/rsd+xml" href="//el.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://el.wikipedia.org/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.el"> <link rel="alternate" type="application/atom+xml" title="Βικιπαίδεια ροή Atom" href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A0%CF%81%CF%8C%CF%83%CF%86%CE%B1%CF%84%CE%B5%CF%82%CE%91%CE%BB%CE%BB%CE%B1%CE%B3%CE%AD%CF%82&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Θεωρία_υπολογισμού rootpage-Θεωρία_υπολογισμού skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Μετάβαση στο περιεχόμενο</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Ιστότοπος"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Κύριο μενού" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Κύριο μενού</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Κύριο μενού</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">μετακίνηση στην πλαϊνή μπάρα</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">απόκρυψη</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Πλοήγηση </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/%CE%A0%CF%8D%CE%BB%CE%B7:%CE%9A%CF%8D%CF%81%CE%B9%CE%B1" title="Επισκεφθείτε την αρχική σελίδα [z]" accesskey="z"><span>Κύρια πύλη</span></a></li><li id="n-Θεματικές-πύλες" class="mw-list-item"><a href="/wiki/%CE%A0%CF%8D%CE%BB%CE%B7:%CE%98%CE%AD%CE%BC%CE%B1%CF%84%CE%B1"><span>Θεματικές πύλες</span></a></li><li id="n-Featuredcontent" class="mw-list-item"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%A0%CF%81%CE%BF%CE%B2%CE%B5%CE%B2%CE%BB%CE%B7%CE%BC%CE%AD%CE%BD%CE%B1_%CE%BB%CE%AE%CE%BC%CE%BC%CE%B1%CF%84%CE%B1"><span>Προβεβλημένα λήμματα</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/%CE%A0%CF%8D%CE%BB%CE%B7:%CE%A4%CF%81%CE%AD%CF%87%CE%BF%CE%BD%CF%84%CE%B1_%CE%B3%CE%B5%CE%B3%CE%BF%CE%BD%CF%8C%CF%84%CE%B1" title="Βρείτε βασικές πληροφορίες για τρέχοντα γεγονότα"><span>Τρέχοντα γεγονότα</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A4%CF%85%CF%87%CE%B1%CE%AF%CE%B1" title="Φόρτωση μιας τυχαίας σελίδας [x]" accesskey="x"><span>Τυχαίο λήμμα</span></a></li> </ul> </div> </div> <div id="p-Συμμετοχή" class="vector-menu mw-portlet mw-portlet-Συμμετοχή" > <div class="vector-menu-heading"> Συμμετοχή </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%92%CE%BF%CE%AE%CE%B8%CE%B5%CE%B9%CE%B1" title="Το μέρος για να βρείτε αυτό που ψάχνετε"><span>Βοήθεια</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%A0%CF%8D%CE%BB%CE%B7_%CE%9A%CE%BF%CE%B9%CE%BD%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="Σχετικά με το εγχείρημα, τι μπορείτε να κάνετε, πού μπορείτε να βρείτε τι"><span>Πύλη Κοινότητας</span></a></li><li id="n-pump" class="mw-list-item"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%91%CE%B3%CE%BF%CF%81%CE%AC"><span>Αγορά</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A0%CF%81%CF%8C%CF%83%CF%86%CE%B1%CF%84%CE%B5%CF%82%CE%91%CE%BB%CE%BB%CE%B1%CE%B3%CE%AD%CF%82" title="Λίστα πρόσφατων αλλαγών στο wiki [r]" accesskey="r"><span>Πρόσφατες αλλαγές</span></a></li><li id="n-Επικοινωνία" class="mw-list-item"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%95%CF%80%CE%B9%CE%BA%CE%BF%CE%B9%CE%BD%CF%89%CE%BD%CE%AF%CE%B1"><span>Επικοινωνία</span></a></li><li id="n-Δωρεές" class="mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserLandingPage?uselang=el&country=GR"><span>Δωρεές</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/%CE%A0%CF%8D%CE%BB%CE%B7:%CE%9A%CF%8D%CF%81%CE%B9%CE%B1" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Βικιπαίδεια" src="/static/images/mobile/copyright/wikipedia-wordmark-el.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="Η Ελεύθερη Εγκυκλοπαίδεια" src="/static/images/mobile/copyright/wikipedia-tagline-el.svg" width="120" height="10" style="width: 7.5em; height: 0.625em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%91%CE%BD%CE%B1%CE%B6%CE%AE%CF%84%CE%B7%CF%83%CE%B7" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Αναζήτηση στη Βικιπαίδεια [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Αναζήτηση</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Αναζήτηση σε Βικιπαίδεια" aria-label="Αναζήτηση σε Βικιπαίδεια" autocapitalize="sentences" title="Αναζήτηση στη Βικιπαίδεια [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Ειδικό:Αναζήτηση"> </div> <button class="cdx-button cdx-search-input__end-button">Αναζήτηση</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Προσωπικά εργαλεία"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Εμφάνιση"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Εμφάνιση" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Εμφάνιση</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_el.wikipedia.org&uselang=el" class=""><span>Δωρεές</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%94%CE%B7%CE%BC%CE%B9%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CE%9B%CE%BF%CE%B3%CE%B1%CF%81%CE%B9%CE%B1%CF%83%CE%BC%CE%BF%CF%8D&returnto=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Σας ενθαρρύνουμε να δημιουργήσετε ένα λογαριασμό και να συνδεθείτε· ωστόσο, δεν είναι υποχρεωτικό" class=""><span>Δημιουργία λογαριασμού</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A3%CF%8D%CE%BD%CE%B4%CE%B5%CF%83%CE%B7%CE%A7%CF%81%CE%AE%CF%83%CF%84%CE%B7&returnto=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Σας ενθαρρύνουμε να συνδεθείτε· ωστόσο, δεν είναι υποχρεωτικό [o]" accesskey="o" class=""><span>Σύνδεση</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Περισσότερες επιλογές" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Προσωπικά εργαλεία" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Προσωπικά εργαλεία</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Μενού χρήστη" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_el.wikipedia.org&uselang=el"><span>Δωρεές</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%94%CE%B7%CE%BC%CE%B9%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CE%9B%CE%BF%CE%B3%CE%B1%CF%81%CE%B9%CE%B1%CF%83%CE%BC%CE%BF%CF%8D&returnto=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Σας ενθαρρύνουμε να δημιουργήσετε ένα λογαριασμό και να συνδεθείτε· ωστόσο, δεν είναι υποχρεωτικό"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Δημιουργία λογαριασμού</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A3%CF%8D%CE%BD%CE%B4%CE%B5%CF%83%CE%B7%CE%A7%CF%81%CE%AE%CF%83%CF%84%CE%B7&returnto=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Σας ενθαρρύνουμε να συνδεθείτε· ωστόσο, δεν είναι υποχρεωτικό [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Σύνδεση</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Σελίδες για αποσυνδεμένους συντάκτες <a href="/wiki/%CE%92%CE%BF%CE%AE%CE%B8%CE%B5%CE%B9%CE%B1:%CE%95%CE%B9%CF%83%CE%B1%CE%B3%CF%89%CE%B3%CE%AE" aria-label="Μάθετε περισσότερα σχετικά με την επεξεργασία"><span>μάθετε περισσότερα</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%9F%CE%B9%CE%A3%CF%85%CE%BD%CE%B5%CE%B9%CF%83%CF%86%CE%BF%CF%81%CE%AD%CF%82%CE%9C%CE%BF%CF%85" title="Μια λίστα με τις επεξεργασίες που έγιναν από αυτή τη διεύθυνση IP [y]" accesskey="y"><span>Συνεισφορές</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%97%CE%A3%CF%85%CE%B6%CE%AE%CF%84%CE%B7%CF%83%CE%AE%CE%9C%CE%BF%CF%85" title="Συζήτηση σχετικά με τις αλλαγές που έγιναν από αυτή τη διεύθυνση IP [n]" accesskey="n"><span>Συζήτηση για αυτή την IP</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"><div id="mw-dismissablenotice-anonplace"></div><script>(function(){var node=document.getElementById("mw-dismissablenotice-anonplace");if(node){node.outerHTML="\u003Cdiv class=\"mw-dismissable-notice\"\u003E\u003Cdiv class=\"mw-dismissable-notice-close\"\u003E[\u003Ca tabindex=\"0\" role=\"button\"\u003Eκλείσιμο\u003C/a\u003E]\u003C/div\u003E\u003Cdiv class=\"mw-dismissable-notice-body\"\u003E\u003C!-- CentralNotice --\u003E\u003Cdiv id=\"localNotice\" data-nosnippet=\"\"\u003E\u003Cdiv class=\"sitenotice\" lang=\"el\" dir=\"ltr\"\u003E\u003Cdiv style=\"border: solid 1px #333; border-radius: 0.5em;box-shadow: 0 4px 4px #999; background:#FCFFE5; margin-bottom: 1.5em; display: table; width: 100%;padding-top:5px;text-align: center;\"\u003E\n\u003Cdiv style=\"display: table-cell; vertical-align: middle;\"\u003E\u003Cspan typeof=\"mw:File\"\u003E\u003Ca href=\"/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%9C%CE%AE%CE%BD%CE%B1%CF%82_%CE%91%CF%83%CE%AF%CE%B1%CF%82_%CF%84%CE%B7%CF%82_%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1%CF%82\" title=\"Βικιπαίδεια:Μήνας Ασίας της Βικιπαίδειας\"\u003E\u003Cimg alt=\"Wikipedia Asian Month\" src=\"//upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Asian_month_banner_logo.svg/500px-Asian_month_banner_logo.svg.png\" decoding=\"async\" width=\"500\" height=\"129\" class=\"mw-file-element\" srcset=\"//upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Asian_month_banner_logo.svg/750px-Asian_month_banner_logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Asian_month_banner_logo.svg/1000px-Asian_month_banner_logo.svg.png 2x\" data-file-width=\"3047\" data-file-height=\"789\" /\u003E\u003C/a\u003E\u003C/span\u003E \u003Cspan style=\"margin-left:2em;\"\u003E\u003Ca href=\"/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%9C%CE%AE%CE%BD%CE%B1%CF%82_%CE%91%CF%83%CE%AF%CE%B1%CF%82_%CF%84%CE%B7%CF%82_%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1%CF%82\" title=\"Βικιπαίδεια:Μήνας Ασίας της Βικιπαίδειας\"\u003E\u003Cspan class=\"mw-ui-button mw-ui-progressive mw-ui\"\u003EΛάβετε μέρος\u003C/span\u003E\u003C/a\u003E\u003C/span\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E\u003C/div\u003E";}}());</script></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Ιστότοπος"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Περιεχόμενα" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Περιεχόμενα</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">μετακίνηση στην πλαϊνή μπάρα</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">απόκρυψη</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">Αρχή</div> </a> </li> <li id="toc-Τυπικές_γραμματικές" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Τυπικές_γραμματικές"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Τυπικές γραμματικές</span> </div> </a> <ul id="toc-Τυπικές_γραμματικές-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Βασικές_αρχές" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Βασικές_αρχές"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Βασικές αρχές</span> </div> </a> <ul id="toc-Βασικές_αρχές-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Υπολογισιμότητα" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Υπολογισιμότητα"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Υπολογισιμότητα</span> </div> </a> <ul id="toc-Υπολογισιμότητα-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Πολυπλοκότητα" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Πολυπλοκότητα"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Πολυπλοκότητα</span> </div> </a> <ul id="toc-Πολυπλοκότητα-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Παραπομπές" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Παραπομπές"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Παραπομπές</span> </div> </a> <ul id="toc-Παραπομπές-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Περιεχόμενα" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Εναλλαγή του πίνακα περιεχομένων" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Εναλλαγή του πίνακα περιεχομένων</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Θεωρία υπολογισμού</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Μεταβείτε σε ένα λήμμα σε άλλη γλώσσα. Διαθέσιμο σε 41 γλώσσες" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-41" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">41 γλώσσες</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%AD%D9%88%D8%B3%D8%A8%D8%A9" title="نظرية الحوسبة – Αραβικά" lang="ar" hreflang="ar" data-title="نظرية الحوسبة" data-language-autonym="العربية" data-language-local-name="Αραβικά" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/Teor%C3%ADa_de_la_computaci%C3%B3n" title="Teoría de la computación – Αστουριανά" lang="ast" hreflang="ast" data-title="Teoría de la computación" data-language-autonym="Asturianu" data-language-local-name="Αστουριανά" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Alqoritml%C9%99r_n%C9%99z%C9%99riyy%C9%99si" title="Alqoritmlər nəzəriyyəsi – Αζερμπαϊτζανικά" lang="az" hreflang="az" data-title="Alqoritmlər nəzəriyyəsi" data-language-autonym="Azərbaycanca" data-language-local-name="Αζερμπαϊτζανικά" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Teorija_ra%C4%8Dunanja" title="Teorija računanja – Βοσνιακά" lang="bs" hreflang="bs" data-title="Teorija računanja" data-language-autonym="Bosanski" data-language-local-name="Βοσνιακά" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Teoria_de_la_computaci%C3%B3" title="Teoria de la computació – Καταλανικά" lang="ca" hreflang="ca" data-title="Teoria de la computació" data-language-autonym="Català" data-language-local-name="Καταλανικά" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Theory_of_computation" title="Theory of computation – Αγγλικά" lang="en" hreflang="en" data-title="Theory of computation" data-language-autonym="English" data-language-local-name="Αγγλικά" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Teorio_de_komputado" title="Teorio de komputado – Εσπεράντο" lang="eo" hreflang="eo" data-title="Teorio de komputado" data-language-autonym="Esperanto" data-language-local-name="Εσπεράντο" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_computaci%C3%B3n" title="Teoría de la computación – Ισπανικά" lang="es" hreflang="es" data-title="Teoría de la computación" data-language-autonym="Español" data-language-local-name="Ισπανικά" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Konputazioaren_teoria" title="Konputazioaren teoria – Βασκικά" lang="eu" hreflang="eu" data-title="Konputazioaren teoria" data-language-autonym="Euskara" data-language-local-name="Βασκικά" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%D8%A7%D8%AA" title="نظریه محاسبات – Περσικά" lang="fa" hreflang="fa" data-title="نظریه محاسبات" data-language-autonym="فارسی" data-language-local-name="Περσικά" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Laskettavuus" title="Laskettavuus – Φινλανδικά" lang="fi" hreflang="fi" data-title="Laskettavuus" data-language-autonym="Suomi" data-language-local-name="Φινλανδικά" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/Teor%C3%ADa_da_computaci%C3%B3n" title="Teoría da computación – Γαλικιανά" lang="gl" hreflang="gl" data-title="Teoría da computación" data-language-autonym="Galego" data-language-local-name="Γαλικιανά" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-he badge-Q70894304 mw-list-item" title=""><a href="https://he.wikipedia.org/wiki/%D7%AA%D7%95%D7%A8%D7%AA_%D7%94%D7%97%D7%99%D7%A9%D7%95%D7%91%D7%99%D7%95%D7%AA" title="תורת החישוביות – Εβραϊκά" lang="he" hreflang="he" data-title="תורת החישוביות" data-language-autonym="עברית" data-language-local-name="Εβραϊκά" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%85%E0%A4%AD%E0%A4%BF%E0%A4%95%E0%A4%B2%E0%A4%A8_%E0%A4%95%E0%A4%BE_%E0%A4%B8%E0%A4%BF%E0%A4%A6%E0%A5%8D%E0%A4%A7%E0%A4%BE%E0%A4%82%E0%A4%A4" title="अभिकलन का सिद्धांत – Χίντι" lang="hi" hreflang="hi" data-title="अभिकलन का सिद्धांत" data-language-autonym="हिन्दी" data-language-local-name="Χίντι" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Teorija_ra%C4%8Dunanja" title="Teorija računanja – Κροατικά" lang="hr" hreflang="hr" data-title="Teorija računanja" data-language-autonym="Hrvatski" data-language-local-name="Κροατικά" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Teori_komputasi" title="Teori komputasi – Ινδονησιακά" lang="id" hreflang="id" data-title="Teori komputasi" data-language-autonym="Bahasa Indonesia" data-language-local-name="Ινδονησιακά" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Teorio_di_komputado" title="Teorio di komputado – Ίντο" lang="io" hreflang="io" data-title="Teorio di komputado" data-language-autonym="Ido" data-language-local-name="Ίντο" class="interlanguage-link-target"><span>Ido</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Teoria_della_computazione" title="Teoria della computazione – Ιταλικά" lang="it" hreflang="it" data-title="Teoria della computazione" data-language-autonym="Italiano" data-language-local-name="Ιταλικά" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E7%90%86%E8%AB%96" title="計算理論 – Ιαπωνικά" lang="ja" hreflang="ja" data-title="計算理論" data-language-autonym="日本語" data-language-local-name="Ιαπωνικά" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ki mw-list-item"><a href="https://ki.wikipedia.org/wiki/Computation_theory" title="Computation theory – Κικούγιου" lang="ki" hreflang="ki" data-title="Computation theory" data-language-autonym="Gĩkũyũ" data-language-local-name="Κικούγιου" class="interlanguage-link-target"><span>Gĩkũyũ</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EA%B3%84%EC%82%B0_%EC%9D%B4%EB%A1%A0" title="계산 이론 – Κορεατικά" lang="ko" hreflang="ko" data-title="계산 이론" data-language-autonym="한국어" data-language-local-name="Κορεατικά" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Teori_pengiraan" title="Teori pengiraan – Μαλαισιανά" lang="ms" hreflang="ms" data-title="Teori pengiraan" data-language-autonym="Bahasa Melayu" data-language-local-name="Μαλαισιανά" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-mwl mw-list-item"><a href="https://mwl.wikipedia.org/wiki/Teorie_de_la_cumputa%C3%A7on" title="Teorie de la cumputaçon – Μιραντεζικά" lang="mwl" hreflang="mwl" data-title="Teorie de la cumputaçon" data-language-autonym="Mirandés" data-language-local-name="Μιραντεζικά" class="interlanguage-link-target"><span>Mirandés</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Teoria_oblicze%C5%84" title="Teoria obliczeń – Πολωνικά" lang="pl" hreflang="pl" data-title="Teoria obliczeń" data-language-autonym="Polski" data-language-local-name="Πολωνικά" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-ps mw-list-item"><a href="https://ps.wikipedia.org/wiki/%D8%AF_%D9%85%D8%AD%D8%A7%D8%B3%D8%A8%DB%90_%D8%AA%DB%8C%D9%88%D8%B1%D9%8A" title="د محاسبې تیوري – Πάστο" lang="ps" hreflang="ps" data-title="د محاسبې تیوري" data-language-autonym="پښتو" data-language-local-name="Πάστο" class="interlanguage-link-target"><span>پښتو</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Teoria_da_computa%C3%A7%C3%A3o" title="Teoria da computação – Πορτογαλικά" lang="pt" hreflang="pt" data-title="Teoria da computação" data-language-autonym="Português" data-language-local-name="Πορτογαλικά" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Teoria_computa%C8%9Biei" title="Teoria computației – Ρουμανικά" lang="ro" hreflang="ro" data-title="Teoria computației" data-language-autonym="Română" data-language-local-name="Ρουμανικά" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%BE%D0%B2" title="Теория алгоритмов – Ρωσικά" lang="ru" hreflang="ru" data-title="Теория алгоритмов" data-language-autonym="Русский" data-language-local-name="Ρωσικά" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Teorija_ra%C4%8Dunanja" title="Teorija računanja – Σερβοκροατικά" lang="sh" hreflang="sh" data-title="Teorija računanja" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="Σερβοκροατικά" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Theory_of_computation" title="Theory of computation – Simple English" lang="en-simple" hreflang="en-simple" data-title="Theory of computation" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Te%C3%B3ria_algoritmov" title="Teória algoritmov – Σλοβακικά" lang="sk" hreflang="sk" data-title="Teória algoritmov" data-language-autonym="Slovenčina" data-language-local-name="Σλοβακικά" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%98%D0%B0_%D0%B8%D0%B7%D1%80%D0%B0%D1%87%D1%83%D0%BD%D1%99%D0%B8%D0%B2%D0%BE%D1%81%D1%82%D0%B8" title="Теорија израчунљивости – Σερβικά" lang="sr" hreflang="sr" data-title="Теорија израчунљивости" data-language-autonym="Српски / srpski" data-language-local-name="Σερβικά" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Ber%C3%A4kningsteori" title="Beräkningsteori – Σουηδικά" lang="sv" hreflang="sv" data-title="Beräkningsteori" data-language-autonym="Svenska" data-language-local-name="Σουηδικά" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-tg mw-list-item"><a href="https://tg.wikipedia.org/wiki/%D0%9D%D0%B0%D0%B7%D0%B0%D1%80%D0%B8%D1%8F%D0%B8_%D0%BC%D1%83%D2%B3%D0%BE%D1%81%D0%B8%D0%B1%D0%BE%D1%82" title="Назарияи муҳосибот – Τατζικικά" lang="tg" hreflang="tg" data-title="Назарияи муҳосибот" data-language-autonym="Тоҷикӣ" data-language-local-name="Τατζικικά" class="interlanguage-link-target"><span>Тоҷикӣ</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%97%E0%B8%A4%E0%B8%A9%E0%B8%8E%E0%B8%B5%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%84%E0%B8%B3%E0%B8%99%E0%B8%A7%E0%B8%93" title="ทฤษฎีการคำนวณ – Ταϊλανδικά" lang="th" hreflang="th" data-title="ทฤษฎีการคำนวณ" data-language-autonym="ไทย" data-language-local-name="Ταϊλανδικά" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Teorya_ng_komputasyon" title="Teorya ng komputasyon – Τάγκαλογκ" lang="tl" hreflang="tl" data-title="Teorya ng komputasyon" data-language-autonym="Tagalog" data-language-local-name="Τάγκαλογκ" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Algoritmalar_teorisi" title="Algoritmalar teorisi – Τουρκικά" lang="tr" hreflang="tr" data-title="Algoritmalar teorisi" data-language-autonym="Türkçe" data-language-local-name="Τουρκικά" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%96%D0%B2" title="Теорія алгоритмів – Ουκρανικά" lang="uk" hreflang="uk" data-title="Теорія алгоритмів" data-language-autonym="Українська" data-language-local-name="Ουκρανικά" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D9%86%D8%B8%D8%B1%DB%8C%DB%81_%DA%A9%D9%85%D9%BE%DB%8C%D9%88%D9%B9%DB%8C%D8%B4%D9%86" title="نظریہ کمپیوٹیشن – Ούρντου" lang="ur" hreflang="ur" data-title="نظریہ کمپیوٹیشن" data-language-autonym="اردو" data-language-local-name="Ούρντου" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E8%AE%A1%E7%AE%97%E7%90%86%E8%AE%BA" title="计算理论 – Κινεζικά" lang="zh" hreflang="zh" data-title="计算理论" data-language-autonym="中文" data-language-local-name="Κινεζικά" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E9%81%8B%E7%AE%97%E7%90%86%E8%AB%96" title="運算理論 – Καντονέζικα" lang="yue" hreflang="yue" data-title="運算理論" data-language-autonym="粵語" data-language-local-name="Καντονέζικα" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q844718#sitelinks-wikipedia" title="Επεξεργασία διαγλωσσικών συνδέσεων" class="wbc-editpage">Επεξεργασία συνδέσμων</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Ονοματοχώροι"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Προβολή της σελίδας περιεχομένου [c]" accesskey="c"><span>Λήμμα</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%CE%A3%CF%85%CE%B6%CE%AE%CF%84%CE%B7%CF%83%CE%B7:%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit&redlink=1" rel="discussion" class="new" title="Συζήτηση για τη σελίδα περιεχομένου (δεν έχει γραφτεί ακόμα) [t]" accesskey="t"><span>Συζήτηση</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Αλλαγή παραλλαγής γλώσσας" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Ελληνικά</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Προβολές"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D"><span>Ανάγνωση</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit" title="Επεξεργασία αυτής της σελίδας [v]" accesskey="v"><span>Επεξεργασία</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit" title="Επεξεργασία του πηγαίου κώδικα της σελίδας [e]" accesskey="e"><span>Επεξεργασία κώδικα</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=history" title="Παλιές αναθεωρήσεις της σελίδας [h]" accesskey="h"><span>Προβολή ιστορικού</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Εργαλεία σελίδων"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Εργαλεία" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Εργαλεία</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Εργαλεία</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">μετακίνηση στην πλαϊνή μπάρα</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">απόκρυψη</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Περισσότερες επιλογές" > <div class="vector-menu-heading"> Ενέργειες </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D"><span>Ανάγνωση</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit" title="Επεξεργασία αυτής της σελίδας [v]" accesskey="v"><span>Επεξεργασία</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit" title="Επεξεργασία του πηγαίου κώδικα της σελίδας [e]" accesskey="e"><span>Επεξεργασία κώδικα</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=history"><span>Προβολή ιστορικού</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Γενικά </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A4%CE%B9%CE%A3%CF%85%CE%BD%CE%B4%CE%AD%CE%B5%CE%B9%CE%95%CE%B4%CF%8E/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Κατάλογος όλων των σελίδων wiki που έχουν συνδέσμους προς εδώ [j]" accesskey="j"><span>Συνδέσεις προς εδώ</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A3%CF%85%CE%BD%CE%B4%CE%B5%CE%B4%CE%B5%CE%BC%CE%AD%CE%BD%CE%B5%CF%82%CE%A0%CF%81%CF%8C%CF%83%CF%86%CE%B1%CF%84%CE%B5%CF%82%CE%91%CE%BB%CE%BB%CE%B1%CE%B3%CE%AD%CF%82/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" rel="nofollow" title="Πρόσφατες αλλαγές σε σελίδες που παραπέμπουν οι σύνδεσμοι αυτής της σελίδας [k]" accesskey="k"><span>Σχετικές αλλαγές</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CE%AD%CF%82%CE%A3%CE%B5%CE%BB%CE%AF%CE%B4%CE%B5%CF%82" title="Κατάλογος με όλες τις ειδικές σελίδες [q]" accesskey="q"><span>Ειδικές σελίδες</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&oldid=10357240" title="Μόνιμος σύνδεσμος προς αυτήν την αναθεώρηση αυτής της σελίδας"><span>Σταθερός σύνδεσμος</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=info" title="Περισσότερες πληροφορίες σχετικά με αυτήν τη σελίδα"><span>Πληροφορίες σελίδας</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A0%CE%B1%CF%81%CE%B1%CF%80%CE%BF%CE%BC%CF%80%CE%AE%CE%91%CF%85%CF%84%CE%AE%CE%A4%CE%B7%CE%A3%CE%B5%CE%BB%CE%AF%CE%B4%CE%B1&page=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&id=10357240&wpFormIdentifier=titleform" title="Πληροφορίες για το πώς να δημιουργήσετε παραπομπή αυτής της σελίδας"><span>Παραπομπή</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:UrlShortener&url=https%3A%2F%2Fel.wikipedia.org%2Fwiki%2F%25CE%2598%25CE%25B5%25CF%2589%25CF%2581%25CE%25AF%25CE%25B1_%25CF%2585%25CF%2580%25CE%25BF%25CE%25BB%25CE%25BF%25CE%25B3%25CE%25B9%25CF%2583%25CE%25BC%25CE%25BF%25CF%258D"><span>Λάβετε συντομευμένη διεύθυνση URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:QrCode&url=https%3A%2F%2Fel.wikipedia.org%2Fwiki%2F%25CE%2598%25CE%25B5%25CF%2589%25CF%2581%25CE%25AF%25CE%25B1_%25CF%2585%25CF%2580%25CE%25BF%25CE%25BB%25CE%25BF%25CE%25B3%25CE%25B9%25CF%2583%25CE%25BC%25CE%25BF%25CF%258D"><span>Λήψη κωδικού QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Εκτύπωση/εξαγωγή </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A3%CF%85%CE%BB%CE%BB%CE%BF%CE%B3%CE%AE&bookcmd=book_creator&referer=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D"><span>Δημιουργία βιβλίου</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:DownloadAsPdf&page=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=show-download-screen"><span>Κατέβασμα ως PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&printable=yes" title="Εκτυπώσιμη έκδοση αυτής της σελίδας [p]" accesskey="p"><span>Εκτυπώσιμη έκδοση</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> Σε άλλα εγχειρήματα </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Theory_of_computation" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q844718" title="Σύνδεσμος προς το συνδεδεμένο αντικείμενο δεδομένων [g]" accesskey="g"><span>Αντικείμενο Wikidata</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Εργαλεία σελίδων"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Εμφάνιση"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Εμφάνιση</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">μετακίνηση στην πλαϊνή μπάρα</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">απόκρυψη</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="el" dir="ltr"><figure typeof="mw:File/Thumb"><a href="/wiki/%CE%91%CF%81%CF%87%CE%B5%CE%AF%CE%BF:Maquina.png" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Maquina.png/310px-Maquina.png" decoding="async" width="310" height="172" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Maquina.png/465px-Maquina.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Maquina.png/620px-Maquina.png 2x" data-file-width="1800" data-file-height="1000" /></a><figcaption>Καλλιτεχνική αναπαράσταση μιας μηχανής Τούρινγκ<sup id="cite_ref-:0_1-0" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>. Οι μηχανές Τούρινγκ χρησιμοποιούνται συχνά ως θεωρητικά μοντέλα για την πληροφορική.</figcaption></figure> <p>Η <b>θεωρία υπολογισμού</b><sup id="cite_ref-:1_2-0" class="reference"><a href="#cite_note-:1-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> είναι ο κλάδος της <a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%B7%CF%84%CE%B9%CE%BA%CE%AE_%CF%80%CE%BB%CE%B7%CF%81%CE%BF%CF%86%CE%BF%CF%81%CE%B9%CE%BA%CE%AE" class="mw-redirect" title="Θεωρητική πληροφορική">θεωρητικής πληροφορικής</a> που πραγματεύεται το εάν και το πόσο αποδοτικά είναι δυνατόν να λυθεί κάποιο πρόβλημα με χρήση κάποιου <a href="/wiki/%CE%91%CE%BB%CE%B3%CF%8C%CF%81%CE%B9%CE%B8%CE%BC%CE%BF%CF%82" title="Αλγόριθμος">αλγορίθμου</a> σε ένα <a href="/w/index.php?title=%CE%A5%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CF%8C_%CE%BC%CE%BF%CE%BD%CF%84%CE%AD%CE%BB%CE%BF&action=edit&redlink=1" class="new" title="Υπολογιστικό μοντέλο (δεν έχει γραφτεί ακόμα)">υπολογιστικό μοντέλο</a>, μια αφηρημένη <a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Μαθηματικά">μαθηματική</a> έννοια ορισμένη με αυστηρούς κανόνες. Ο τομέας διαιρείται σε δύο κύριους κλάδους: τη <a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%B9%CE%BC%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="Θεωρία υπολογισιμότητας">θεωρία υπολογισιμότητας</a> και τη <a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%BF%CE%BB%CF%85%CF%80%CE%BB%CE%BF%CE%BA%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="Θεωρία πολυπλοκότητας">θεωρία πολυπλοκότητας</a>, αλλά και οι δύο εφαρμόζονται σε μοντέλα υπολογισμού. Η θεωρία πολυπλοκότητας παρουσιάζει ομοιότητες με την <a href="/w/index.php?title=%CE%91%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7_%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD&action=edit&redlink=1" class="new" title="Ανάλυση αλγορίθμων (δεν έχει γραφτεί ακόμα)">ανάλυση αλγορίθμων</a>, έναν άλλο θεμελιώδη κλάδο της επιστήμης υπολογιστών, ο οποίος όμως ενδιαφέρεται για την εύρεση των ιδιοτήτων ενός συγκεκριμένου αλγορίθμου που επιλύει κάποιο υπολογιστικό πρόβλημα, και όχι για τις εγγενείς υπολογιστικές ιδιότητες του ίδιου του προβλήματος. </p><p>Για να πραγματοποιήσουν μια εξονυχιστική μελέτη της έννοιας του υπολογισμού, οι επιστήμονες αξιοποιούν διάφορες διατυπώσεις υπολογιστικών μοντέλων, αλλά συνηθέστερη είναι η <a href="/wiki/%CE%9C%CE%B7%CF%87%CE%B1%CE%BD%CE%AE_%CE%A4%CE%BF%CF%8D%CF%81%CE%B9%CE%BD%CE%B3%CE%BA" title="Μηχανή Τούρινγκ">μηχανή Τούρινγκ</a>. Μπορεί κανείς να θεωρήσει τη μηχανή Τούρινγκ σαν έναν <a href="/wiki/%CE%A0%CF%81%CE%BF%CF%83%CF%89%CF%80%CE%B9%CE%BA%CF%8C%CF%82_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AE%CF%82" title="Προσωπικός υπολογιστής">προσωπικό υπολογιστή</a> με άπειρη <a href="/wiki/%CE%9C%CE%BD%CE%AE%CE%BC%CE%B7_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AE" title="Μνήμη υπολογιστή">μνήμη</a>, αν και η μνήμη αυτή είναι προσβάσιμη μόνο κατά μικρά διακριτά τμήματα. Οι επιστήμονες υπολογιστών μελετούν τη μηχανή Τούρινγκ γιατί έχει απλή μαθηματική διατύπωση και μπορούν να την αναλύσουν, να την χρησιμοποιήσουν σε αποδείξεις, ενώ κατά πολλούς αντιπροσωπεύει το ισχυρότερο εφικτό μοντέλο υπολογισμού. Αυτό σημαίνει ότι ένα πρόβλημα μπορεί να λυθεί αλγοριθμικά αν και μόνο αν υπάρχει μηχανή Τούρινγκ που το επιλύει. Αν και η άπειρη μνήμη μπορεί να θεωρηθεί ανέφικτη, στην πραγματικότητα κάθε πρόβλημα που λύνει η μηχανή Τούρινγκ χρειάζεται πάντα πεπερασμένη μνήμη, άρα κάθε πρόβλημα που μπορεί να λυθεί από μια μηχανή Τούρινγκ θα μπορούσε να λυθεί από έναν προσωπικό υπολογιστή με επαρκή μνήμη. </p><p>Η θεωρία υπολογισμού για να φτάσει στα συμπεράσματά της αξιοποιεί το γνωστικό πεδίο των <a href="/wiki/%CE%A4%CF%85%CF%80%CE%B9%CE%BA%CE%AE_%CE%B3%CE%BB%CF%8E%CF%83%CF%83%CE%B1" title="Τυπική γλώσσα">τυπικών γλωσσών</a>, καθώς κάθε πρόβλημα δυνάμενο να επιλυθεί αλγοριθμικά μπορεί να εκφραστεί ως πρόβλημα ανάγνωσης ή παραγωγής μίας τυπικής γλώσσας. Αυτή η επικάλυψη της <a href="/wiki/%CE%95%CF%80%CE%B9%CF%83%CF%84%CE%AE%CE%BC%CE%B7_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CF%8E%CE%BD" title="Επιστήμη υπολογιστών">επιστήμης υπολογιστών</a> με τη <a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%AE" title="Μαθηματική λογική">μαθηματική λογική</a> και τη <a href="/wiki/%CE%93%CE%BB%CF%89%CF%83%CF%83%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Γλωσσολογία">γλωσσολογία</a> είχε ως αποτέλεσμα την ανάπτυξη <a href="/wiki/%CE%A3%CF%85%CE%BD%CF%84%CE%B1%CE%BA%CF%84%CE%B9%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7_(%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AD%CF%82)" title="Συντακτική ανάλυση (υπολογιστές)">συντακτικών</a> και <a href="/w/index.php?title=%CE%9B%CE%B5%CE%BA%CF%84%CE%B9%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7_(%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AD%CF%82)&action=edit&redlink=1" class="new" title="Λεκτική ανάλυση (υπολογιστές) (δεν έχει γραφτεί ακόμα)">λεκτικών</a> αναλυτών για την εύκολη κατασκευή <a href="/wiki/%CE%9C%CE%B5%CF%84%CE%B1%CE%B3%CE%BB%CF%89%CF%84%CF%84%CE%B9%CF%83%CF%84%CE%AE%CF%82" class="mw-redirect" title="Μεταγλωττιστής">μεταγλωττιστών</a>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Τυπικές_γραμματικές"><span id=".CE.A4.CF.85.CF.80.CE.B9.CE.BA.CE.AD.CF.82_.CE.B3.CF.81.CE.B1.CE.BC.CE.BC.CE.B1.CF.84.CE.B9.CE.BA.CE.AD.CF.82"></span>Τυπικές γραμματικές</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit&section=1" title="Επεξεργασία ενότητας: Τυπικές γραμματικές" class="mw-editsection-visualeditor"><span>Επεξεργασία</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit&section=1" title="Επεξεργαστείτε τον πηγαίο κώδικα της ενότητας: Τυπικές γραμματικές"><span>επεξεργασία κώδικα</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="hatnote noprint">Κύριο λήμμα: <a href="/wiki/%CE%A4%CF%85%CF%80%CE%B9%CE%BA%CE%AE_%CE%B3%CF%81%CE%B1%CE%BC%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE" title="Τυπική γραμματική">Τυπική γραμματική</a></div> <p>Στην <a href="/wiki/%CE%95%CF%80%CE%B9%CF%83%CF%84%CE%AE%CE%BC%CE%B7_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CF%8E%CE%BD" title="Επιστήμη υπολογιστών">επιστήμη υπολογιστών</a> μια τυπική γραμματική (formal grammar) είναι μια <a href="/w/index.php?title=%CE%91%CF%86%CE%B7%CF%81%CE%B7%CE%BC%CE%AD%CE%BD%CE%B7_%CE%B4%CE%BF%CE%BC%CE%AE&action=edit&redlink=1" class="new" title="Αφηρημένη δομή (δεν έχει γραφτεί ακόμα)">αφηρημένη δομή</a> που περιγράφει μια <a href="/wiki/%CE%A4%CF%85%CF%80%CE%B9%CE%BA%CE%AE_%CE%B3%CE%BB%CF%8E%CF%83%CF%83%CE%B1" title="Τυπική γλώσσα">τυπική γλώσσα</a> επακριβώς, δηλαδή είναι ένα σύνολο κανόνων που απεικονίζουν μαθηματικώς το <a href="/wiki/%CE%A3%CF%8D%CE%BD%CE%BF%CE%BB%CE%BF" title="Σύνολο">σύνολο</a>, (συνήθως <a href="/wiki/%CE%A3%CF%8D%CE%BD%CE%BF%CE%BB%CE%BF" title="Σύνολο">απειροσύνολο</a>), των πεπερασμένου μήκους <a href="/wiki/%CE%A3%CF%84%CE%BF%CE%B9%CF%87%CE%B5%CE%B9%CE%BF%CF%83%CE%B5%CE%B9%CF%81%CE%AC" class="mw-redirect" title="Στοιχειοσειρά">στοιχειοσειρών</a> / συμβολοσειρών που σχηματίζονται με διακριτά στοιχεία / σύμβολα (π.χ. γράμματα), τα οποία ανήκουν σε ένα σύνολο, συνήθως πεπερασμένο, που το λέμε <i>αλφάβητο</i>. Οι τυπικές γραμματικές ονομάστηκαν έτσι κατ’ αναλογία των <a href="/wiki/%CE%93%CF%81%CE%B1%CE%BC%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE" title="Γραμματική">γραμματικών</a> των γλωσσών που μιλούν οι άνθρωποι, αλλά τα αλφάβητά τους δεν περιέχουν κατ’ ανάγκη γράμματα. Οι τυπικές γραμματικές διαχωρίζονται σε δυο κύριες κατηγορίες: <i>γενετικές</i> (generative) και <i>αναλυτικές</i> (analytic).<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> </p><p>Μια <a href="/w/index.php?title=%CE%93%CE%B5%CE%BD%CE%B5%CF%84%CE%B9%CE%BA%CE%AE_%CE%B3%CF%81%CE%B1%CE%BC%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE&action=edit&redlink=1" class="new" title="Γενετική γραμματική (δεν έχει γραφτεί ακόμα)">γενετική γραμματική</a>, η οποία θα μπορούσε να ονομάζεται <i>γεννητική</i> ή <i>παραγωγική γραμματική</i>, είναι ένα σύνολο κανόνων με το οποίο όλες οι συμβολοσειρές που μπορούν να υπάρξουν σε μια γλώσσα μπορούν να παραχθούν με διαδοχικά <a href="/wiki/%CE%A3%CF%84%CE%BF%CE%B9%CF%87%CE%B5%CE%B9%CE%BF%CF%83%CE%B5%CE%B9%CF%81%CE%AC#Συναλύσωση" class="mw-redirect" title="Στοιχειοσειρά">επιθέματα</a> ξεκινώντας από ένα προκαθορισμένο <i>αρχικό σύμβολο δημιουργίας στοιχειοσειράς</i>. Μια γενετική γραμματική ουσιαστικά είναι η τυπική μορφή του <a href="/wiki/%CE%91%CE%BB%CE%B3%CF%8C%CF%81%CE%B9%CE%B8%CE%BC%CE%BF%CF%82" title="Αλγόριθμος">αλγορίθμου</a> παραγωγής στοιχειοσειρών που ανήκουν στη γλώσσα. </p> <dl><dd>Συνοπτικά για την γενετική γραμματική : <ul><li>λειτουργεί ως δημιουργός στοιχειοσειρών της γλώσσας, δηλαδή <i>γράφει τη γλώσσα</i>,</li> <li>η πορεία είναι από τη γραμματική προς τις λέξεις της γλώσσας,</li> <li>εφαρμόζεται παραγωγική (top-down) προσέγγιση, από το γενικό προς το μερικό.</li></ul></dd></dl> <p>Μια <a href="/w/index.php?title=%CE%91%CE%BD%CE%B1%CE%BB%CF%85%CF%84%CE%B9%CE%BA%CE%AE_%CE%B3%CF%81%CE%B1%CE%BC%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE&action=edit&redlink=1" class="new" title="Αναλυτική γραμματική (δεν έχει γραφτεί ακόμα)">αναλυτική γραμματική</a>, αντιθέτως, είναι ένα σύνολο κανόνων που υποθέτουν ότι μία αυθαίρετη στοιχειοσειρά δίνεται προς επεξεργασία και με διαδοχικά βήματα ανάλυσης προκύπτει ως αποτέλεσμα η τιμή μιας <a href="/w/index.php?title=%CE%9C%CE%B5%CF%84%CE%B1%CE%B2%CE%BB%CE%B7%CF%84%CE%AE_(%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AD%CF%82)&action=edit&redlink=1" class="new" title="Μεταβλητή (υπολογιστές) (δεν έχει γραφτεί ακόμα)">λογικής μεταβλητής</a>: </p> <ul><li>ΑΛΗΘΗΣ, αν η στοιχειοσειρά ανήκει στη γλώσσα που περιγράφει η αναλυτική γραμματική</li> <li>ΨΕΥΔΗΣ, αν η στοιχειοσειρά δεν ανήκει στη γλώσσα που περιγράφει η αναλυτική γραμματική.</li></ul> <dl><dd>Συνοπτικά για την αναλυτική γραμματική : <ul><li>σαρώνει τη στοιχειοσειρά, τεχνολογεί τα μέρη που την αποτελούν και τα αναγνωρίζει (<a href="/wiki/%CE%A3%CF%85%CE%BD%CF%84%CE%B1%CE%BA%CF%84%CE%B9%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7_(%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%AD%CF%82)" title="Συντακτική ανάλυση (υπολογιστές)">συντακτικός αναλυτής</a> (parser) ο οποίος <i>διαβάζει τη γλώσσα</i>),</li> <li>η πορεία είναι από τις λέξεις της γλώσσας προς τη γραμματική της,</li> <li>εφαρμόζεται επαγωγική (bottom-up) προσέγγιση, από το μερικό προς το γενικό.</li></ul></dd></dl> <div class="mw-heading mw-heading2"><h2 id="Βασικές_αρχές"><span id=".CE.92.CE.B1.CF.83.CE.B9.CE.BA.CE.AD.CF.82_.CE.B1.CF.81.CF.87.CE.AD.CF.82"></span>Βασικές αρχές</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit&section=2" title="Επεξεργασία ενότητας: Βασικές αρχές" class="mw-editsection-visualeditor"><span>Επεξεργασία</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit&section=2" title="Επεξεργαστείτε τον πηγαίο κώδικα της ενότητας: Βασικές αρχές"><span>επεξεργασία κώδικα</span></a><span class="mw-editsection-bracket">]</span></span></div> <p><i><a href="/wiki/%CE%91%CF%83%CF%84%CE%AD%CF%81%CE%B9_%CE%9A%CE%BB%CE%AD%CE%B9%CE%BD%CE%B9" title="Αστέρι Κλέινι">Αστέρι Κλέινι</a></i> ή <i>κλειστότητα Κλέινι</i> (Kleene Star) ενός αλφαβήτου Σ ονομάζουμε το σύνολο Σ* όλων των δυνατών <a href="/wiki/%CE%A3%CF%85%CE%BC%CE%B2%CE%BF%CE%BB%CE%BF%CF%83%CE%B5%CE%B9%CF%81%CE%AC" title="Συμβολοσειρά">συμβολοσειρών</a> που προκύπτουν από αυτό το αλφάβητο. Πρόκειται για ένα μετρήσιμο <a href="/wiki/%CE%A3%CF%8D%CE%BD%CE%BF%CE%BB%CE%BF" title="Σύνολο">απειροσύνολο</a> (<i>Συμπέρασμα 1</i>). Γλώσσα ονομάζουμε ένα <a href="/wiki/%CE%A5%CF%80%CE%BF%CF%83%CF%8D%CE%BD%CE%BF%CE%BB%CE%BF" title="Υποσύνολο">υποσύνολο</a> του Σ* για δεδομένο αλφάβητο Σ. Το σύνολο όλων των γλωσσών που προκύπτουν από ένα αλφάβητο Σ είναι το <a href="/wiki/%CE%94%CF%85%CE%BD%CE%B1%CE%BC%CE%BF%CF%83%CF%8D%CE%BD%CE%BF%CE%BB%CE%BF" title="Δυναμοσύνολο">δυναμοσύνολο</a> (το σύνολο όλων των δυνατών υποσυνόλων) του Σ* και είναι μη μετρήσιμο απειροσύνολο (<i>Συμπέρασμα 2</i>). Μπορούμε να καταλήξουμε σε διάφορους πεπερασμένους τρόπους αναπαράστασης γλωσσών (ασχέτως του αν οι ίδιες οι γλώσσες είναι πεπερασμένες ή άπειρες), όμως όλοι οδηγούν σε μία συμβολοσειρά ως τρόπο αναπαράστασης μίας γλώσσας. Όμως, δεδομένου ενός αλφαβήτου αναπαράστασης Σ, υπάρχουν μετρήσιμα άπειρες συμβολοσειρές αναπαράστασης (Συμπέρασμα 1) και μη μετρήσιμα άπειρες γλώσσες (Συμπέρασμα 2). Επομένως, αφού υπάρχουν περισσότερες γλώσσες απ' ό,τι αναπαραστάσεις, αναπόφευκτα θα υπάρχουν πάντα γλώσσες που δεν μπορούμε να αναπαραστήσουμε με πεπερασμένο τρόπο. </p><p>Υπάρχουν δύο ισοδύναμοι τρόποι περιγραφής μίας γλώσσας: είτε μέσω ενός παραγωγού γλώσσας, ενός εκφραστικού μηχανισμού που περιγράφει τις έγκυρες συμβολοσειρές της συγκεκριμένης γλώσσας, είτε μέσω ενός αναγνώστη γλώσσας, ενός μαθηματικού μοντέλου-μηχανής που αποδέχεται συμβολοσειρές της συγκεκριμένης γλώσσας (τερματίζοντας θετικά αν η είσοδός του είναι συμβολοσειρά που ανήκει στη γλώσσα). Υπάρχουν διάφορες <i>κλάσεις</i> παραγωγών και των αντίστοιχων αναγνωστών, με την κάθε κλάση να καλύπτει ένα υπερσύνολο των γλωσσών που καλύπτει η προηγούμενη. Κατηγοριοποιούνται με την <a href="/wiki/%CE%99%CE%B5%CF%81%CE%B1%CF%81%CF%87%CE%AF%CE%B1_%CE%A4%CF%83%CF%8C%CE%BC%CF%83%CE%BA%CE%B9" title="Ιεραρχία Τσόμσκι">ιεραρχία Τσόμσκι</a>, από τις πιο περιορισμένες ως τις πιο ευρείες: </p> <dl><dd><table border="1" cellpadding="3" cellspacing="0"> <tbody><tr> <td></td> <td><b>Παραγωγοί</b></td> <td><b>Αναγνώστες</b> </td></tr> <tr> <td>1</td> <td>Κανονικές εκφράσεις</td> <td>Πεπερασμένα αυτόματα </td></tr> <tr> <td>2</td> <td>Γραμματικές χωρίς συμφραζόμενα</td> <td>Αυτόματα στοίβας </td></tr> <tr> <td>3</td> <td>Γραμματικές με συμφραζόμενα</td> <td>Γραμμικώς περιορισμένες μηχανές Τούρινγκ </td></tr> <tr> <td>4</td> <td>Γενικές γραμματικές</td> <td>Μηχανές Τούρινγκ </td></tr></tbody></table></dd></dl> <p>Ένα αυτόματο αποτελείται από ένα σύνολο καταστάσεων στις οποίες εισέρχεται ανάλογα με το σε ποια κατάσταση βρίσκεται ήδη και ποιο σύμβολο διάβασε τελευταία από τη συμβολοσειρά εισόδου. Κάποιες από αυτές τις καταστάσεις είναι τελικές, δηλαδή αν η είσοδος εξαντληθεί όσο το αυτόματο είναι σε κάποια από αυτές η συμβολοσειρά είναι αποδεκτή. Υπάρχει ένας πίνακας μεταβάσεων που καθορίζει το σε ποια κατάσταση θα εισέλθει για κάθε περίπτωση. </p><p>Μία γλώσσα η οποία <i>γίνεται αποδεκτή</i> από κάποια Μηχανή Τούρινγκ<sup id="cite_ref-davis_4-0" class="reference"><a href="#cite_note-davis-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>, δηλαδή η τελευταία είναι βέβαιο ότι τερματίζει μόνο όταν δέχεται ως είσοδο συμβολοσειρά που ανήκει στη γλώσσα (διαφορετικά μπορεί να μπει σε ατέρμονα βρόχο), ονομάζεται <i>MT-αποδεκτή</i>. Μία γλώσσα η οποία <i>αποφασίζεται</i> από κάποια Μηχανή Τούρινγκ, δηλαδή η τελευταία τερματίζει για κάθε είσοδο και δίνει θετικό αποτέλεσμα αν η συμβολοσειρά ανήκει στη γλώσσα και αρνητικό αν δεν ανήκει, ονομάζεται <i>ΜΤ-αποφασίσιμη</i>. Επίσης η Μηχανή Τούρινγκ<sup id="cite_ref-:0_1-1" class="reference"><a href="#cite_note-:0-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> μπορεί να γράφει σύμβολα στην ταινία εισόδου της (σε αντίθεση με τα αυτόματα) οπότε μπορεί να υπολογίζει και <a href="/wiki/%CE%A3%CF%85%CE%BD%CE%AC%CF%81%CF%84%CE%B7%CF%83%CE%B7" title="Συνάρτηση">συναρτήσεις</a>, δεχόμενη μία συμβολοσειρά εισόδου και παράγοντας την αντίστοιχη συμβολοσειρά εξόδου. </p><p>Τόσο στα αυτόματα όσο και στις Μηχανές Τούρινγκ υπάρχει μία παραλλαγή τους που διαθέτει ένα πανίσχυρο αλλά αντιρεαλιστικό μαθηματικό χαρακτηριστικό: τον <i>μη <a href="/wiki/%CE%9D%CF%84%CE%B5%CF%84%CE%B5%CF%81%CE%BC%CE%B9%CE%BD%CE%B9%CF%83%CE%BC%CF%8C%CF%82" class="mw-redirect" title="Ντετερμινισμός">ντετερμινισμό</a></i>, τη δυνατότητα δηλαδή σε κάθε βήμα της λειτουργίας τους να «μαντεύουν» τη σωστή διαδρομή που πρέπει να ακολουθήσουν στη συνέχεια από ένα πλήθος δυνατών διαδρομών. Τα μη ντετερμινιστικά αυτόματα συνήθως έχουν εκθετικά λιγότερες καταστάσεις από τα ρεαλιστικά αντίστοιχα ντετερμινιστικά, ενώ οι μη ντετερμινιστικές Μηχανές Τούρινγκ ολοκληρώνουν τη λειτουργία τους σε εκθετικά λιγότερο χρόνο από τις αντίστοιχες ρεαλιστικές ντετερμινιστικές. Ώστόσο κάθε <a href="/wiki/%CE%9C%CE%B7_%CE%BD%CF%84%CE%B5%CF%84%CE%B5%CF%81%CE%BC%CE%B9%CE%BD%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CF%8C_%CF%80%CE%B5%CF%80%CE%B5%CF%81%CE%B1%CF%83%CE%BC%CE%AD%CE%BD%CE%BF_%CE%B1%CF%85%CF%84%CF%8C%CE%BC%CE%B1%CF%84%CE%BF" title="Μη ντετερμινιστικό πεπερασμένο αυτόματο">μη ντετερμινιστικό πεπερασμένο αυτόματο</a> μπορεί να μετασχηματιστεί σε ένα ισοδύναμο ντετερμινιστικό που αναγνωρίζει την ίδια γλώσσα (έστω και με πολύ περισσότερες καταστάσεις), καθώς και κάθε μη ντετερμινιστική Μηχανή Τούρινγκ μπορεί να μετασχηματιστεί σε μία ισοδύναμη ντετερμινιστική (έστω και με πολύ μεγαλύτερη χρονική πολυπλοκότητα). Αυτή η ισοδυναμία δεν ισχύει στα αυτόματα στοίβας, αφού υπάρχουν γλώσσες χωρίς συμφραζόμενα που γίνονται αποδεκτές μόνο από μη ντετερμινιστικά αυτόματα στοίβας για τα οποία δεν υπάρχουν αντίστοιχα ντετερμινιστικά. Ειδικά για τις Μηχανές Τούρινγκ έχουν προταθεί και διάφορες άλλες παραλλαγές (πιο ρεαλιστικές, όπως π.χ. με ταινία διπλής κατεύθυνσης ή πολλαπλές κεφαλές ανάγνωσης συμβόλων) οι οποίες όμως έχει αποδειχθεί ότι επίσης είναι ισοδύναμες με την πρότυπη ντετερμινιστική Μηχανή Turing και μάλιστα με την ίδια χρονική πολυπλοκότητα. </p> <div class="mw-heading mw-heading2"><h2 id="Υπολογισιμότητα"><span id=".CE.A5.CF.80.CE.BF.CE.BB.CE.BF.CE.B3.CE.B9.CF.83.CE.B9.CE.BC.CF.8C.CF.84.CE.B7.CF.84.CE.B1"></span>Υπολογισιμότητα</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit&section=3" title="Επεξεργασία ενότητας: Υπολογισιμότητα" class="mw-editsection-visualeditor"><span>Επεξεργασία</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit&section=3" title="Επεξεργαστείτε τον πηγαίο κώδικα της ενότητας: Υπολογισιμότητα"><span>επεξεργασία κώδικα</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Καθολική Μηχανή Τούρινγκ ονομάζεται μία Μηχανή Τούρινγκ που δέχεται ως είσοδο κατάλληλα κωδικοποιημένες συμβολοσειρές που συμβολίζουν άλλες Μηχανές Τούρινγκ (Μ) και μία είσοδο γι' αυτές (w) και προσομοιώνει τη λειτουργία της Μ με είσοδο w. Με αυτόν τον τρόπο κωδικοποίησης ένα οποιοδήποτε υπολογιστικό πρόβλημα μπορεί να εκφραστεί ως ένα σύνολο συμβολοσειρών, δηλαδή μία γλώσσα, και να επιλυθεί από μία κατάλληλη Μηχανή Τούρινγκ που αποφασίζει αυτή τη γλώσσα· δηλαδή τερματίζει με βεβαιότητα για όλες τις εισόδους της. Σύμφωνα λοιπόν με τη <b>Θέση Τσερτς-Τούρινγκ</b> η ντετερμινιστική Μηχανή Τούρινγκ που αποφασίζει μία γλώσσα είναι το έσχατο και πιο ευρύ υπολογιστικό μοντέλο, μία αυστηρή μαθηματική περιγραφή της άτυπης έννοιας του αλγορίθμου! </p><p>Αν για ένα υπολογιστικό πρόβλημα δεν μπορεί να βρεθεί μία Μηχανή Τούρινγκ που να αποφασίζει την αντίστοιχη γλώσσα, τότε το πρόβλημα αυτό είναι <i>μη επιλύσιμο</i>, δεν μπορεί δηλαδή να υπάρξει αλγόριθμος που το επιλύει. Ένα διάσημο μη επιλύσιμο πρόβλημα είναι το πρόβλημα του τερματισμού (η εύρεση μίας Μηχανής Τούρινγκ που αποφασίζει αν μία άλλη Μηχανή Τούρινγκ θα τερματίσει με συγκεκριμένη είσοδο ή θα πέσει σε ατέρμονα βρόχο), το οποίο χρησιμεύει ώστε να ανάγονται άλλα προβλήματα σε αυτό και να αποδεικνύεται έτσι ότι είναι μη επιλύσιμα. Η Μηχανή Τούρινγκ είναι το πιο ισχυρό μοντέλου υπολογισμού γιατί διαθέτει άπειρη μνήμη (την ταινία εισόδου / εξόδου), ενώ τα πεπερασμένα αυτόματα και τα αυτόματα στοίβας έχουν σοβαρούς περιορισμούς μνήμης (στα πρώτα η μνήμη τους είναι κωδικοποιημένη στις καταστάσεις τους ενώ τα δεύτερα έχουν επιπλέον και μια πεπερασμένη στοίβα). </p><p>Οι υπολογιστές <a href="/wiki/%CE%91%CF%81%CF%87%CE%B9%CF%84%CE%B5%CE%BA%CF%84%CE%BF%CE%BD%CE%B9%CE%BA%CE%AE_%CF%86%CE%BF%CE%BD_%CE%9D%CF%8C%CE%B9%CE%BC%CE%B1%CE%BD" title="Αρχιτεκτονική φον Νόιμαν">φον Νόιμαν</a> αλλά και άλλα μοντέλα υπολογισμού (π.χ. ορισμένα <a href="/wiki/%CE%9D%CE%B5%CF%85%CF%81%CF%89%CE%BD%CE%B9%CE%BA%CF%8C_%CE%B4%CE%AF%CE%BA%CF%84%CF%85%CE%BF" title="Νευρωνικό δίκτυο">τεχνητά νευρωνικά δίκτυα</a>) ισοδυναμούν μαθηματικώς με Καθολικές Μηχανές Τούρινγκ και γι' αυτό μπορεί σε αυτά να εκτελεστεί, με κατάλληλη κωδικοποίηση, οποιοσδήποτε αλγόριθμος. </p> <div class="mw-heading mw-heading2"><h2 id="Πολυπλοκότητα"><span id=".CE.A0.CE.BF.CE.BB.CF.85.CF.80.CE.BB.CE.BF.CE.BA.CF.8C.CF.84.CE.B7.CF.84.CE.B1"></span>Πολυπλοκότητα</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit&section=4" title="Επεξεργασία ενότητας: Πολυπλοκότητα" class="mw-editsection-visualeditor"><span>Επεξεργασία</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit&section=4" title="Επεξεργαστείτε τον πηγαίο κώδικα της ενότητας: Πολυπλοκότητα"><span>επεξεργασία κώδικα</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="hatnote noprint">Κύριο λήμμα: <a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%BF%CE%BB%CF%85%CF%80%CE%BB%CE%BF%CE%BA%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="Θεωρία πολυπλοκότητας">Θεωρία πολυπλοκότητας</a></div> <p>Παρόλο που κάποια προβλήματα είναι επιλύσιμα, δεν έχει βρεθεί μέχρι στιγμής αλγόριθμος που να τα επιλύει σε λογικά χρονικά όρια· δηλαδή με πολυωνυμική και όχι εκθετική χρονική πολυπλοκότητα. Σε αυτό το σημείο συνεισφέρει η θεωρία πολυπλοκότητας: P ονομάζεται το σύνολο των γλωσσών που αναπαριστούν υπολογιστικά προβλήματα για τα οποία είναι γνωστή ντετερμινιστική Μηχανή Τούρινγκ που τα επιλύει σε πολυωνυμικό χρόνο. NP ονομάζεται το σύνολο των γλωσσών που αναπαριστούν υπολογιστικά προβλήματα για τα οποία είναι γνωστή μη ντετερμινιστική Μηχανή Τούρινγκ που τα επιλύει σε πολυωνυμικό χρόνο αλλά όχι ντετερμινιστική (οι ισοδύναμες ντετερμινιστικές Μηχανές Τούρινγκ έχουν αυξημένη εκθετική πολυπλοκότητα). E ονομάζεται το σύνολο των γλωσσών που αναπαριστούν υπολογιστικά προβλήματα για τα οποία είναι γνωστή είτε μη ντετερμινιστική είτε ντετερμινιστική Μηχανή Τούρινγκ που τα επιλύει σε εκθετικό χρόνο. Αυτή τη στιγμή γνωρίζουμε ότι το P είναι υποσύνολο του NP και ότι το NP είναι υποσύνολο του Ε. Ωστόσο δεν γνωρίζουμε κατά πόσον αυτές οι σχέσεις είναι γνήσιου υποσυνόλου, αν και υποψιαζόμαστε ότι αυτό ισχύει. Αν αποδειχτεί ότι το P δεν είναι γνήσιο υποσύνολο του NP τότε σημαίνει ότι υπάρχουν ντετερμινιστικές Μηχανές Τούρινγκ που επιλύουν όλα τα προβλήματα του NP σε πολυωνυμικό χρόνο και απλώς δεν έχουν επινοηθεί μέχρι στιγμής. Σήμερα ωστόσο αυτό δεν θεωρείται πιθανό και οι περισσότεροι επιστήμονες εικάζουν ότι η εκθετική πολυπλοκότητα είναι εγγενής σε αυτά τα προβλήματα.<sup id="cite_ref-:1_2-1" class="reference"><a href="#cite_note-:1-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> </p><p>Τα προβλήματα του NP που δεν φαίνεται να ανήκουν στο P έχουν την ιδιότητα να ανάγονται όλα σε ένα μικρό σύνολο βασικών και καλά μελετημένων προβλημάτων. Αυτή η ιδιότητα ονομάζεται <i>πληρότητα</i> και τα εν λόγω προβλήματα ονομάζονται <i>NP-πλήρη</i>. Έχει αποδειχθεί ότι αν ανακαλυφθεί κάποτε Μηχανή Τούρινγκ που να επιλύει κάποιο από αυτά ντετερμινιστικά σε πολυωνυμικό χρόνο (οπότε αυτό θα ανήκει στο P), τότε όλα τα NP-πλήρη προβλήματα θα ανήκουν στο P. Όπως προαναφέρθηκε ωστόσο αυτό δεν θεωρείται πιθανό. </p> <div class="mw-heading mw-heading2"><h2 id="Παραπομπές"><span id=".CE.A0.CE.B1.CF.81.CE.B1.CF.80.CE.BF.CE.BC.CF.80.CE.AD.CF.82"></span>Παραπομπές</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&veaction=edit&section=5" title="Επεξεργασία ενότητας: Παραπομπές" class="mw-editsection-visualeditor"><span>Επεξεργασία</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&action=edit&section=5" title="Επεξεργαστείτε τον πηγαίο κώδικα της ενότητας: Παραπομπές"><span>επεξεργασία κώδικα</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-references-wrap"><ol class="references"> <li id="cite_note-:0-1"><span class="mw-cite-backlink">↑ <sup><a href="#cite_ref-:0_1-0">1,0</a></sup> <sup><a href="#cite_ref-:0_1-1">1,1</a></sup></span> <span class="reference-text"><cite class="citation book">De Mol, Liesbeth (2021). Zalta, Edward N., επιμ. <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/win2021/entriesuring-machine/"><i>Turing Machines</i></a> (Winter 2021 έκδοση). Metaphysics Research Lab, Stanford University.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Turing+Machines&rft.edition=Winter+2021&rft.pub=Metaphysics+Research+Lab%2C+Stanford+University&rft.date=2021&rft.aulast=De+Mol&rft.aufirst=Liesbeth&rft_id=https%3A%2F%2Fplato.stanford.edu%2Farchives%2Fwin2021%2Fentriesuring-machine%2F&rfr_id=info%3Asid%2Fel.wikipedia.org%3A%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-:1-2"><span class="mw-cite-backlink">↑ <sup><a href="#cite_ref-:1_2-0">2,0</a></sup> <sup><a href="#cite_ref-:1_2-1">2,1</a></sup></span> <span class="reference-text"><cite class="citation web"><a rel="nofollow" class="external text" href="https://www.csd.uoc.gr/~hy280/simeioseis/HY280%20-%20AYTOMATA.pdf">«ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ - ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ»</a> <span style="font-size:85%;">(PDF)</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=%CE%98%CE%95%CE%A9%CE%A1%CE%99%CE%91+%CE%A5%CE%A0%CE%9F%CE%9B%CE%9F%CE%93%CE%99%CE%A3%CE%9C%CE%9F%CE%A5+-+%CE%A0%CE%91%CE%9D%CE%95%CE%A0%CE%99%CE%A3%CE%A4%CE%97%CE%9C%CE%99%CE%9F+%CE%9A%CE%A1%CE%97%CE%A4%CE%97%CE%A3+%CE%A4%CE%9C%CE%97%CE%9C%CE%91+%CE%95%CE%A0%CE%99%CE%A3%CE%A4%CE%97%CE%9C%CE%97%CE%A3+%CE%A5%CE%A0%CE%9F%CE%9B%CE%9F%CE%93%CE%99%CE%A3%CE%A4%CE%A9%CE%9D&rft_id=https%3A%2F%2Fwww.csd.uoc.gr%2F~hy280%2Fsimeioseis%2FHY280%2520-%2520AYTOMATA.pdf&rfr_id=info%3Asid%2Fel.wikipedia.org%3A%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text"><cite class="citation web"><a rel="nofollow" class="external text" href="https://www.cs.ucy.ac.cy/~annap/epl211/notes/lecture7-8.pdf">«Θεωρία Υπολογισμού και Πολυπλοκότητα - Κανονικές εκφράσεις -Τμήμα Πληροφορικής, Πανεπιστήμιο Κύπρου»</a> <span style="font-size:85%;">(PDF)</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CE%A5%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D+%CE%BA%CE%B1%CE%B9+%CE%A0%CE%BF%CE%BB%CF%85%CF%80%CE%BB%CE%BF%CE%BA%CF%8C%CF%84%CE%B7%CF%84%CE%B1+-+%CE%9A%CE%B1%CE%BD%CE%BF%CE%BD%CE%B9%CE%BA%CE%AD%CF%82+%CE%B5%CE%BA%CF%86%CF%81%CE%AC%CF%83%CE%B5%CE%B9%CF%82+-%CE%A4%CE%BC%CE%AE%CE%BC%CE%B1+%CE%A0%CE%BB%CE%B7%CF%81%CE%BF%CF%86%CE%BF%CF%81%CE%B9%CE%BA%CE%AE%CF%82%2C+%CE%A0%CE%B1%CE%BD%CE%B5%CF%80%CE%B9%CF%83%CF%84%CE%AE%CE%BC%CE%B9%CE%BF+%CE%9A%CF%8D%CF%80%CF%81%CE%BF%CF%85&rft_id=https%3A%2F%2Fwww.cs.ucy.ac.cy%2F~annap%2Fepl211%2Fnotes%2Flecture7-8.pdf&rfr_id=info%3Asid%2Fel.wikipedia.org%3A%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" class="Z3988"><span style="display:none;"> </span></span></span> </li> <li id="cite_note-davis-4"><span class="mw-cite-backlink"><a href="#cite_ref-davis_4-0">↑</a></span> <span class="reference-text"><cite class="citation book"><a href="https://en.wikipedia.org/wiki/Martin_Davis_(mathematician)" class="extiw" title="en:Martin Davis (mathematician)">Martin Davis</a> (2004). <a rel="nofollow" class="external text" href="https://archive.org/details/isbn_9780486432281"><i>The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions (Dover Ed)</i></a>. Dover Publications. <a href="/wiki/%CE%94%CE%B9%CE%B5%CE%B8%CE%BD%CE%AE%CF%82_%CF%80%CF%81%CF%8C%CF%84%CF%85%CF%80%CE%BF%CF%82_%CE%B1%CF%81%CE%B9%CE%B8%CE%BC%CF%8C%CF%82_%CE%B2%CE%B9%CE%B2%CE%BB%CE%AF%CE%BF%CF%85" title="Διεθνής πρότυπος αριθμός βιβλίου">ISBN</a> <a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%A0%CE%B7%CE%B3%CE%AD%CF%82%CE%92%CE%B9%CE%B2%CE%BB%CE%AF%CF%89%CE%BD/978-0486432281" title="Ειδικό:ΠηγέςΒιβλίων/978-0486432281">978-0486432281</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=The+undecidable%3A+Basic+papers+on+undecidable+propositions%2C+unsolvable+problems+and+computable+functions+%28Dover+Ed%29&rft.pub=Dover+Publications&rft.date=2004&rft.isbn=978-0486432281&rft.au=Martin+Davis&rft_id=https%3A%2F%2Farchive.org%2Fdetails%2Fisbn_9780486432281&rfr_id=info%3Asid%2Fel.wikipedia.org%3A%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1+%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" class="Z3988"><span style="display:none;"> </span></span></span> </li> </ol></div> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r10387572">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r10730911">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}</style></div><div role="navigation" class="navbox" aria-labelledby="Περιοχές_των_μαθηματικών" style="padding:3px"><table class="nowraplinks hlist mw-collapsible expanded navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><style data-mw-deduplicate="TemplateStyles:r8595637">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:100%}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-προβολή"><a href="/wiki/%CE%A0%CF%81%CF%8C%CF%84%CF%85%CF%80%CE%BF:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC-%CF%85%CF%80%CE%BF%CF%83%CE%AD%CE%BB%CE%B9%CE%B4%CE%BF" title="Πρότυπο:Μαθηματικά-υποσέλιδο"><abbr title="Προβολή του προτύπου">π</abbr></a></li><li class="nv-συζ."><a href="/w/index.php?title=%CE%A3%CF%85%CE%B6%CE%AE%CF%84%CE%B7%CF%83%CE%B7_%CF%80%CF%81%CE%BF%CF%84%CF%8D%CF%80%CE%BF%CF%85:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC-%CF%85%CF%80%CE%BF%CF%83%CE%AD%CE%BB%CE%B9%CE%B4%CE%BF&action=edit&redlink=1" class="new" title="Συζήτηση προτύπου:Μαθηματικά-υποσέλιδο (δεν έχει γραφτεί ακόμα)"><abbr title="Συζήτηση του προτύπου">σ</abbr></a></li><li class="nv-επεξ."><a class="external text" href="https://el.wikipedia.org/w/index.php?title=%CE%A0%CF%81%CF%8C%CF%84%CF%85%CF%80%CE%BF:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC-%CF%85%CF%80%CE%BF%CF%83%CE%AD%CE%BB%CE%B9%CE%B4%CE%BF&action=edit"><abbr title="Επεξεργασία του προτύπου">ε</abbr></a></li></ul></div><div id="Περιοχές_των_μαθηματικών" style="font-size:114%;margin:0 4em">Περιοχές των <a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Μαθηματικά">μαθηματικών</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%9A%CE%B1%CE%B8%CE%B1%CF%81%CE%AC_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Καθαρά μαθηματικά">Καθαρά <br />μαθηματικά</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%98%CE%B5%CE%BC%CE%AD%CE%BB%CE%B9%CE%B1_%CF%84%CF%89%CE%BD_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CF%8E%CE%BD" title="Θεμέλια των μαθηματικών">Θεμέλια των μαθηματικών</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%83%CF%85%CE%BD%CF%8C%CE%BB%CF%89%CE%BD" title="Θεωρία συνόλων">Θεωρία συνόλων</a></li> <li><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%AE" title="Μαθηματική λογική">Λογική</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%BA%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%B9%CF%8E%CE%BD" title="Θεωρία κατηγοριών">Θεωρία κατηγοριών</a></li> <li><a href="/wiki/%CE%A6%CE%B9%CE%BB%CE%BF%CF%83%CE%BF%CF%86%CE%AF%CE%B1_%CF%84%CF%89%CE%BD_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CF%8E%CE%BD" title="Φιλοσοφία των μαθηματικών">Φιλοσοφία των μαθηματικών</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%84%CF%8D%CF%80%CF%89%CE%BD" title="Θεωρία τύπων">Θεωρία τύπων</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%86%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B1" title="Άλγεβρα">Άλγεβρα</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%A3%CF%84%CE%BF%CE%B9%CF%87%CE%B5%CE%B9%CF%8E%CE%B4%CE%B7%CF%82_%CE%AC%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B1" title="Στοιχειώδης άλγεβρα">Στοιχειώδης</a></li> <li><a href="/wiki/%CE%91%CF%86%CE%B7%CF%81%CE%B7%CE%BC%CE%AD%CE%BD%CE%B7_%CE%AC%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B1" title="Αφηρημένη άλγεβρα">Αφηρημένη</a> (<a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%BF%CE%BC%CE%AC%CE%B4%CF%89%CE%BD" title="Θεωρία ομάδων">Θεωρία ομάδων</a>, <a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B4%CE%B1%CE%BA%CF%84%CF%85%CE%BB%CE%AF%CF%89%CE%BD" title="Θεωρία δακτυλίων">Θεωρία δακτυλίων</a>, <a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%93%CE%BA%CE%B1%CE%BB%CE%BF%CF%85%CE%AC" title="Θεωρία Γκαλουά">Θεωρία Γκαλουά</a>)</li> <li><a href="/wiki/%CE%93%CF%81%CE%B1%CE%BC%CE%BC%CE%B9%CE%BA%CE%AE_%CE%AC%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B1" title="Γραμμική άλγεβρα">Γραμμική</a></li> <li><a href="/wiki/%CE%A0%CE%BF%CE%BB%CF%85%CE%B3%CF%81%CE%B1%CE%BC%CE%BC%CE%B9%CE%BA%CE%AE_%CE%AC%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B1" title="Πολυγραμμική άλγεβρα">Πολυγραμμική</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B1%CF%81%CE%B9%CE%B8%CE%BC%CF%8E%CE%BD" title="Θεωρία αριθμών">Θεωρία αριθμών</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%91%CF%81%CE%B9%CE%B8%CE%BC%CE%B7%CF%84%CE%B9%CE%BA%CE%AE" title="Αριθμητική">Αριθμητική</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B1%CF%81%CE%B9%CE%B8%CE%BC%CF%8E%CE%BD" title="Θεωρία αριθμών">Θεωρία αριθμών</a></li> <li><a href="/wiki/%CE%91%CE%BD%CE%B1%CE%BB%CF%85%CF%84%CE%B9%CE%BA%CE%AE_%CE%B8%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B1%CF%81%CE%B9%CE%B8%CE%BC%CF%8E%CE%BD" title="Αναλυτική θεωρία αριθμών">Αναλυτική θεωρία αριθμών</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%94%CE%B9%CE%B1%CE%BA%CF%81%CE%B9%CF%84%CE%AC_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Διακριτά μαθηματικά">Διακριτά μαθηματικά</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%A3%CF%85%CE%BD%CE%B4%CF%85%CE%B1%CF%83%CF%84%CE%B9%CE%BA%CE%AE" title="Συνδυαστική">Συνδυαστική</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B3%CF%81%CE%AC%CF%86%CF%89%CE%BD" title="Θεωρία γράφων">Θεωρία γράφων</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B4%CE%B9%CE%AC%CF%84%CE%B1%CE%BE%CE%B7%CF%82" title="Θεωρία διάταξης">Θεωρία διάταξης</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%93%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Γεωμετρία">Γεωμετρία</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%95%CF%85%CE%BA%CE%BB%CE%B5%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1_%CE%B3%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Ευκλείδεια γεωμετρία">Ευκλείδεια</a></li> <li><a href="/wiki/%CE%A5%CF%80%CE%B5%CF%81%CE%B2%CE%BF%CE%BB%CE%B9%CE%BA%CE%AE_%CE%B3%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Υπερβολική γεωμετρία">Υπερβολική</a></li> <li><a href="/wiki/%CE%94%CE%B9%CE%B1%CE%BA%CF%81%CE%B9%CF%84%CE%AE_%CE%B3%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Διακριτή γεωμετρία">Διακριτή</a></li> <li><a href="/wiki/%CE%91%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B9%CE%BA%CE%AE_%CE%B3%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Αλγεβρική γεωμετρία">Αλγεβρική</a></li> <li><a href="/wiki/%CE%94%CE%B9%CE%B1%CF%86%CE%BF%CF%81%CE%B9%CE%BA%CE%AE_%CE%B3%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Διαφορική γεωμετρία">Διαφορική</a></li> <li><a href="/wiki/%CE%A5%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE_%CE%B3%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%AF%CE%B1" title="Υπολογιστική γεωμετρία">Υπολογιστική</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7" title="Μαθηματική ανάλυση">Ανάλυση</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%9B%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CF%8C%CF%82" title="Λογισμός">Λογισμός</a></li> <li><a href="/wiki/%CE%9C%CE%B9%CE%B3%CE%B1%CE%B4%CE%B9%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7" title="Μιγαδική ανάλυση">Μιγαδική ανάλυση</a></li> <li><a href="/wiki/%CE%94%CE%B9%CE%B1%CF%86%CE%BF%CF%81%CE%B9%CE%BA%CE%AE_%CE%B5%CE%BE%CE%AF%CF%83%CF%89%CF%83%CE%B7" title="Διαφορική εξίσωση">Διαφορικές εξισώσεις</a></li> <li><a href="/wiki/%CE%A3%CF%85%CE%BD%CE%B1%CF%81%CF%84%CE%B7%CF%83%CE%B9%CE%B1%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7" title="Συναρτησιακή ανάλυση">Συναρτησιακή ανάλυση</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%BC%CE%AD%CF%84%CF%81%CE%BF%CF%85" title="Θεωρία μέτρου">Θεωρία μέτρου</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%A4%CE%BF%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Τοπολογία">Τοπολογία</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%91%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B9%CE%BA%CE%AE_%CF%84%CE%BF%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Αλγεβρική τοπολογία">Αλγεβρική</a></li> <li><a href="/wiki/%CE%93%CE%B5%CE%BD%CE%B9%CE%BA%CE%AE_%CF%84%CE%BF%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Γενική τοπολογία">Γενική</a></li> <li><a href="/wiki/%CE%93%CE%B5%CF%89%CE%BC%CE%B5%CF%84%CF%81%CE%B9%CE%BA%CE%AE_%CF%84%CE%BF%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Γεωμετρική τοπολογία">Γεωμετρική</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%95%CF%86%CE%B1%CF%81%CE%BC%CE%BF%CF%83%CE%BC%CE%AD%CE%BD%CE%B1_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Εφαρμοσμένα μαθηματικά">Εφαρμοσμένα μαθηματικά</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%A3%CF%84%CE%B1%CF%84%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE" title="Στατιστική">Στατιστική</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%B9%CE%B8%CE%B1%CE%BD%CE%BF%CF%84%CE%AE%CF%84%CF%89%CE%BD" title="Θεωρία πιθανοτήτων">Θεωρία πιθανοτήτων</a></li> <li><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CF%83%CF%84%CE%B1%CF%84%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE" title="Μαθηματική στατιστική">Μαθηματική στατιστική</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%BB%CE%B7%CF%81%CE%BF%CF%86%CE%BF%CF%81%CE%AF%CE%B1%CF%82" title="Θεωρία πληροφορίας">Θεωρία πληροφορίας</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%B7%CF%84%CE%B9%CE%BA%CE%AE_%CF%80%CE%BB%CE%B7%CF%81%CE%BF%CF%86%CE%BF%CF%81%CE%B9%CE%BA%CE%AE" class="mw-redirect" title="Θεωρητική πληροφορική">Θεωρητική πληροφορική</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%91%CE%BB%CE%B3%CF%8C%CF%81%CE%B9%CE%B8%CE%BC%CE%BF%CE%B9" class="mw-redirect" title="Αλγόριθμοι">Αλγόριθμοι</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%BF%CE%BB%CF%85%CF%80%CE%BB%CE%BF%CE%BA%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="Θεωρία πολυπλοκότητας">Θεωρία πολυπλοκότητας</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%B9%CE%BC%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" title="Θεωρία υπολογισιμότητας">Θεωρία υπολογισιμότητας</a></li> <li><a class="mw-selflink selflink">Θεωρία υπολογισμού</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CF%86%CF%85%CF%83%CE%B9%CE%BA%CE%AE" title="Μαθηματική φυσική">Μαθηματική φυσική</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%A3%CF%84%CE%B1%CF%84%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE_%CE%BC%CE%B7%CF%87%CE%B1%CE%BD%CE%B9%CE%BA%CE%AE" title="Στατιστική μηχανική">Στατιστική μηχανική</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%84%CE%B7%CF%82_%CF%83%CF%87%CE%B5%CF%84%CE%B9%CE%BA%CF%8C%CF%84%CE%B7%CF%84%CE%B1%CF%82" class="mw-redirect" title="Θεωρία της σχετικότητας">Θεωρία της σχετικότητας</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%84%CE%BF%CF%85_%CF%87%CE%AC%CE%BF%CF%85%CF%82" title="Θεωρία του χάους">Θεωρία του χάους</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%95%CF%80%CE%B9%CF%87%CE%B5%CE%B9%CF%81%CE%B7%CF%83%CE%B9%CE%B1%CE%BA%CE%AE_%CE%AD%CF%81%CE%B5%CF%85%CE%BD%CE%B1" title="Επιχειρησιακή έρευνα">Επιχειρησιακή έρευνα</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%92%CE%B5%CE%BB%CF%84%CE%B9%CF%83%CF%84%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7" title="Βελτιστοποίηση">Βελτιστοποίηση</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B5%CE%BB%CE%AD%CE%B3%CF%87%CE%BF%CF%85" title="Θεωρία ελέγχου">Θεωρία ελέγχου</a></li> <li><a href="/wiki/%CE%94%CF%85%CE%BD%CE%B1%CE%BC%CE%B9%CE%BA%CF%8C_%CF%83%CF%8D%CF%83%CF%84%CE%B7%CE%BC%CE%B1" title="Δυναμικό σύστημα">Δυναμικά συστήματα</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/%CE%A5%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AC_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Υπολογιστικά μαθηματικά">Υπολογιστικά μαθηματικά</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%91%CF%81%CE%B9%CE%B8%CE%BC%CE%B7%CF%84%CE%B9%CE%BA%CE%AE_%CE%B1%CE%BD%CE%AC%CE%BB%CF%85%CF%83%CE%B7" title="Αριθμητική ανάλυση">Αριθμητική ανάλυση</a></li> <li><a href="/wiki/%CE%A5%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE_%CE%AC%CE%BB%CE%B3%CE%B5%CE%B2%CF%81%CE%B1" title="Υπολογιστική άλγεβρα">Υπολογιστική άλγεβρα</a></li> <li><a href="/wiki/%CE%91%CE%BB%CE%B3%CE%BF%CF%81%CE%B9%CE%B8%CE%BC%CE%B9%CE%BA%CE%AE_%CE%B8%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B1%CF%81%CE%B9%CE%B8%CE%BC%CF%8E%CE%BD" title="Αλγοριθμική θεωρία αριθμών">Αλγοριθμική θεωρία αριθμών</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Άλλα</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%95%CF%80%CE%B5%CE%BE%CE%B5%CF%81%CE%B3%CE%B1%CF%83%CE%AF%CE%B1_%CF%83%CE%AE%CE%BC%CE%B1%CF%84%CE%BF%CF%82" title="Επεξεργασία σήματος">Επεξεργασία σήματος</a></li> <li><a href="/wiki/%CE%A5%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CF%84%CE%B9%CE%BA%CE%AE_%CE%B2%CE%B9%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Υπολογιστική βιολογία">Υπολογιστική βιολογία</a></li> <li><a href="/wiki/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%80%CE%B1%CE%B9%CE%B3%CE%BD%CE%AF%CF%89%CE%BD" title="Θεωρία παιγνίων">Θεωρία παιγνίων</a></li> <li><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%9F%CE%B9%CE%BA%CE%BF%CE%BD%CE%BF%CE%BC%CE%B9%CE%BA%CE%AE" title="Μαθηματική Οικονομική">Μαθηματική Οικονομική</a></li> <li><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CF%88%CF%85%CF%87%CE%BF%CE%BB%CE%BF%CE%B3%CE%AF%CE%B1" title="Μαθηματική ψυχολογία">Μαθηματική ψυχολογία</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Σχετικά</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CF%8C%CF%82" title="Μαθηματικός">Μαθηματικοί</a> (<a href="/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%BF%CE%AF" title="Κατηγορία:Μαθηματικοί">λίστα</a>)</li> <li><a href="/wiki/%CE%99%CF%83%CF%84%CE%BF%CF%81%CE%AF%CE%B1_%CF%84%CF%89%CE%BD_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CF%8E%CE%BD" title="Ιστορία των μαθηματικών">Ιστορία των μαθηματικών</a></li> <li><a href="/wiki/%CE%A8%CF%85%CF%87%CE%B1%CE%B3%CF%89%CE%B3%CE%B9%CE%BA%CE%AC_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Ψυχαγωγικά μαθηματικά">Ψυχαγωγικά μαθηματικά</a></li> <li><a href="/wiki/%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC_%CE%BA%CE%B1%CE%B9_%CF%84%CE%AD%CF%87%CE%BD%CE%B7" title="Μαθηματικά και τέχνη">Μαθηματικά και τέχνη</a></li> <li><a href="/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%95%CE%BA%CF%80%CE%B1%CE%B9%CE%B4%CE%B5%CF%85%CF%84%CE%B9%CE%BA%CE%AC_%CE%BC%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC_%CF%80%CE%B5%CF%81%CE%B9%CE%BF%CE%B4%CE%B9%CE%BA%CE%AC" title="Κατηγορία:Εκπαιδευτικά μαθηματικά περιοδικά">Εκπαιδευτικά μαθηματικά περιοδικά</a></li></ul> </div></td></tr><tr><td class="navbox-abovebelow" colspan="2"><div> <ul><li><b><span typeof="mw:File"><a href="/wiki/%CE%91%CF%81%CF%87%CE%B5%CE%AF%CE%BF:Portal-puzzle.svg" class="mw-file-description"><img alt="Portal icon" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/fd/Portal-puzzle.svg/16px-Portal-puzzle.svg.png" decoding="async" width="16" height="14" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/fd/Portal-puzzle.svg/24px-Portal-puzzle.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/fd/Portal-puzzle.svg/32px-Portal-puzzle.svg.png 2x" data-file-width="32" data-file-height="28" /></a></span> <a href="/wiki/%CE%A0%CF%8D%CE%BB%CE%B7:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Πύλη:Μαθηματικά">Πύλη Μαθηματικά </a></b></li> <li><span typeof="mw:File"><span title="Κατηγορία"><img alt="Κατηγορία" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/48/Folder_Hexagonal_Icon.svg/16px-Folder_Hexagonal_Icon.svg.png" decoding="async" width="16" height="14" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/48/Folder_Hexagonal_Icon.svg/24px-Folder_Hexagonal_Icon.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/48/Folder_Hexagonal_Icon.svg/32px-Folder_Hexagonal_Icon.svg.png 2x" data-file-width="36" data-file-height="31" /></span></span> <b><a href="/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AC" title="Κατηγορία:Μαθηματικά">Κατηγορία</a></b></li> <li><span typeof="mw:File"><span title="Commons page"><img alt="Commons page" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/12px-Commons-logo.svg.png" decoding="async" width="12" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/18px-Commons-logo.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/24px-Commons-logo.svg.png 2x" data-file-width="1024" data-file-height="1376" /></span></span> <b><a href="https://commons.wikimedia.org/wiki/Category:Mathematics" class="extiw" title="commons:Category:Mathematics">Commons</a></b></li></ul> </div></td></tr></tbody></table></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ανακτήθηκε από "<a dir="ltr" href="https://el.wikipedia.org/w/index.php?title=Θεωρία_υπολογισμού&oldid=10357240">https://el.wikipedia.org/w/index.php?title=Θεωρία_υπολογισμού&oldid=10357240</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/%CE%95%CE%B9%CE%B4%CE%B9%CE%BA%CF%8C:%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B5%CF%82" title="Ειδικό:Κατηγορίες">Κατηγορία</a>: <ul><li><a href="/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D" title="Κατηγορία:Θεωρία υπολογισμού">Θεωρία υπολογισμού</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> Τελευταία τροποποίηση 08:48, 4 Ιανουαρίου 2024.</li> <li id="footer-info-copyright">Όλα τα κείμενα είναι διαθέσιμα υπό την <a rel="nofollow" class="external text" href="//creativecommons.org/licenses/by-sa/4.0/deed.el">Creative Commons Attribution-ShareAlike License</a>· μπορεί να ισχύουν και πρόσθετοι όροι. Χρησιμοποιώντας αυτό τον ιστότοπο, συμφωνείτε στους <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use/el">Όρους Χρήσης</a> και την <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Πολιτική Ιδιωτικότητας</a>. Το Wikipedia® είναι καταχωρημένο σήμα του <a rel="nofollow" class="external text" href="https://www.wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, ενός μη κερδοσκοπικού οργανισμού.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Πολιτική προσωπικών δεδομένων</a></li> <li id="footer-places-about"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%A3%CF%87%CE%B5%CF%84%CE%B9%CE%BA%CE%AC">Για τη Βικιπαίδεια</a></li> <li id="footer-places-disclaimers"><a href="/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%91%CF%80%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7_%CE%B5%CF%85%CE%B8%CF%85%CE%BD%CF%8E%CE%BD">Αποποίηση ευθυνών</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Κώδικας συμπεριφοράς</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Προγραμματιστές</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/el.wikipedia.org">Στατιστικά</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Δήλωση cookie</a></li> <li id="footer-places-mobileview"><a href="//el.m.wikipedia.org/w/index.php?title=%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Προβολή κινητού</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-688fc9465-7fcbp","wgBackendResponseTime":209,"wgPageParseReport":{"limitreport":{"cputime":"0.183","walltime":"0.234","ppvisitednodes":{"value":653,"limit":1000000},"postexpandincludesize":{"value":46717,"limit":2097152},"templateargumentsize":{"value":227,"limit":2097152},"expansiondepth":{"value":9,"limit":100},"expensivefunctioncount":{"value":1,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":11787,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 177.666 1 -total"," 63.22% 112.312 3 Πρότυπο:Navbox"," 62.38% 110.831 1 Πρότυπο:Μαθηματικά-υποσέλιδο"," 26.69% 47.417 2 Πρότυπο:Cite_book"," 4.43% 7.874 2 Πρότυπο:Cite_web"," 3.94% 7.000 1 Πρότυπο:Portal-inline"," 2.08% 3.688 2 Πρότυπο:Icon"," 2.03% 3.604 2 Πρότυπο:Κύριο"," 1.45% 2.585 1 Πρότυπο:Portal/Images/Default"]},"scribunto":{"limitreport-timeusage":{"value":"0.103","limit":"10.000"},"limitreport-memusage":{"value":2153468,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.main-77f5c85b87-dknfk","timestamp":"20241028082936","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"\u0398\u03b5\u03c9\u03c1\u03af\u03b1 \u03c5\u03c0\u03bf\u03bb\u03bf\u03b3\u03b9\u03c3\u03bc\u03bf\u03cd","url":"https:\/\/el.wikipedia.org\/wiki\/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%85%CF%80%CE%BF%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CE%BF%CF%8D","sameAs":"http:\/\/www.wikidata.org\/entity\/Q844718","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q844718","author":{"@type":"Organization","name":"\u03a3\u03c5\u03bd\u03b5\u03b9\u03c3\u03c6\u03ad\u03c1\u03bf\u03bd\u03c4\u03b5\u03c2 \u03c3\u03c4\u03b1 \u03b5\u03b3\u03c7\u03b5\u03b9\u03c1\u03ae\u03bc\u03b1\u03c4\u03b1 Wikimedia"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2007-08-28T04:29:54Z","dateModified":"2024-01-04T08:48:11Z","image":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/3\/3d\/Maquina.png"}</script> </body> </html>