40 kontakty: Automat liniowo ograniczony, Automat skończony, Automat ze stosem, Cyfra, Dziesiętny system liczbowy, Gramatyka bezkontekstowa, Gramatyka formalna, Gramatyka generatywna, Gramatyka kontekstowa, Gramatyka regularna, Hierarchia Chomsky’ego, Informatyka, Język naturalny, Język rekurencyjny, Językoznawstwo, Komputer, Liczba, Liczba pierwsza, Liczby naturalne, Liczby niewymierne, Liczby rzeczywiste, Logika matematyczna, Maszyna Turinga, Nieskończoność, Podzbiór, Problem stopu, Routledge Encyclopedia of Philosophy, Rozdzielczość ekranu, Rzymski system zapisywania liczb, Słownik, Słowo, Spacja, Symbol startowy, Wydawnictwo Naukowe PWN, Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, Wyrażenie algebraiczne, Zbiór, Zbiór nieprzeliczalny, Zbiór przeliczalny, Zbiór pusty.
Automat liniowo ograniczony
Automat liniowo ograniczony (ang. linear bounded automaton) – ograniczona wersja maszyny Turinga, która podczas obliczenia na słowie wejściowym długości n może wykorzystać jedynie O(n) komórek taśmy.
Nowy!!: Język formalny i Automat liniowo ograniczony · Zobacz więcej »
Automat skończony
Przykład automatu skończonego Automat skończony (ang. finite state machine) – abstrakcyjny, matematyczny, iteracyjny model obliczeń w teorii automatów oparty na tablicy dyskretnych przejść między jego kolejnymi stanami, do opisu których służy diagram stanów.
Nowy!!: Język formalny i Automat skończony · Zobacz więcej »
Automat ze stosem
Przykładowy diagram automatu ze stosem Automat ze stosem (PDA) – automat skończony, który może dodatkowo korzystać ze stosu do przechowywania danych.
Nowy!!: Język formalny i Automat ze stosem · Zobacz więcej »
Cyfra
Cyfra – umowny znak pisarski służący do zapisywania liczb.
Nowy!!: Język formalny i Cyfra · Zobacz więcej »
Dziesiętny system liczbowy
wartość cyfr w dziesiętnym systemie liczbowym Dziesiętny system liczbowy (system dziesiątkowy, system decymalny, system arabski) – pozycyjny system liczbowy, w którym podstawąjest liczba 10; do zapisu liczb stosuje się 10 cyfr: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
Nowy!!: Język formalny i Dziesiętny system liczbowy · Zobacz więcej »
Gramatyka bezkontekstowa
Gramatyka bezkontekstowa – gramatyka formalna, w której wszystkie reguły wyprowadzania wyrażeń sąpostaci: gdzie: Każdy język bezkontekstowy generowany jest przez pewnągramatykę bezkontekstową.
Nowy!!: Język formalny i Gramatyka bezkontekstowa · Zobacz więcej »
Gramatyka formalna
Gramatyka formalna – sposób opisu języka formalnego, czyli podzbioru zbioru wszystkich słów skończonej długości nad danym alfabetem.
Nowy!!: Język formalny i Gramatyka formalna · Zobacz więcej »
Gramatyka generatywna
Gramatyka generatywna – koncepcja lingwistyczna, która zamierza wyjaśnić kompetencję mówiącego (słuchającego) w zakresie tworzenia (rozumienia) zdań danego języka, polegającąmiędzy innymi na tym, że każdy mówiący jest zdolny do konstruowania zdań, których dotąd nie zbudował, a słuchający do rozumienia zdań, których dotąd nie słyszał.
Nowy!!: Język formalny i Gramatyka generatywna · Zobacz więcej »
Gramatyka kontekstowa
Gramatyka kontekstowa – gramatyka formalna, której reguły sąpostaci: gdzie: Każda gramatyka kontekstowa definiuje pewien język kontekstowy.
Nowy!!: Język formalny i Gramatyka kontekstowa · Zobacz więcej »
Gramatyka regularna
Gramatyka regularna – gramatyka formalna, za pomocąktórej można opisać język regularny.
Nowy!!: Język formalny i Gramatyka regularna · Zobacz więcej »
Hierarchia Chomsky’ego
Zestawy inkluzyjne opisane przez hierarchię Chomsky’ego Hierarchia Chomsky’ego – stworzona przez Noama Chomsky’ego hierarchia klas języków formalnych.
Nowy!!: Język formalny i Hierarchia Chomsky’ego · Zobacz więcej »
Informatyka
Informatyka zajmuje się teoretycznymi podstawami informacji, algorytmami i architekturami układów jąprzetwarzających oraz praktycznymi technikami ich stosowania.
Nowy!!: Język formalny i Informatyka · Zobacz więcej »
Język naturalny
Termin język naturalny jest rozumiany na dwa sposoby.
Nowy!!: Język formalny i Język naturalny · Zobacz więcej »
Język rekurencyjny
Język rekurencyjny – rodzaj języka formalnego, dla którego z podanymi regułami jego składni da się opracować automatyczny sposób sprawdzania, czy dane słowo jest zbudowane zgodnie z tymi regułami (tzn. czy należy do języka).
Nowy!!: Język formalny i Język rekurencyjny · Zobacz więcej »
Językoznawstwo
Językoznawstwo, inaczej lingwistyka (od „język”) – nauka badająca język pod kątem jego jednostek, struktury, funkcji i rozwoju.
Nowy!!: Język formalny i Językoznawstwo · Zobacz więcej »
Komputer
Komputer Apple iMac G4 Fundacji Wikimedia Komputer EC-1035 Wyprodukowany w Polsce komputer R-32 Przekaźnikowy Harvard Mark I Komputer ENIAC wraz z obsługą. Komputer kryptologiczny Colossus Mark II Replika pierwszego komputera z programem przechowywanym w pamięci. '''Museum of Science and Industry''' w Manchesterze w Wielkiej Brytanii. Minikomputer K-202 IBM System 360 model 20 (360/20) notebooka firmy IBM Konsola superkomputera CDC 6600 Zeus (fragment) Komputer (od Nazwa, w użyciu od XVII wieku, oznaczała początkowo rachmistrza (od czasownika, obliczać). Pod koniec XIX wieku zaczęto jej używać w odniesieniu do maszyn liczących.); dawniej: mózg elektronowy, elektroniczna maszyna cyfrowa, maszyna matematyczna – maszyna przeznaczona do przetwarzania informacji, które da się zapisać w formie ciągu cyfr albo sygnału ciągłego.
Nowy!!: Język formalny i Komputer · Zobacz więcej »
Liczba
Liczby algebraiczne. Liczba – pojęcie abstrakcyjne, jedno z najczęściej używanych w matematyce.
Nowy!!: Język formalny i Liczba · Zobacz więcej »
Liczba pierwsza
Liczby naturalne od zera do stu – liczby pierwsze zaznaczone sąna czerwono. Liczba pierwsza – liczba naturalna większa od 1, która ma dokładnie dwa dzielniki naturalne: jedynkę i siebie samą.
Nowy!!: Język formalny i Liczba pierwsza · Zobacz więcej »
Liczby naturalne
osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.
Nowy!!: Język formalny i Liczby naturalne · Zobacz więcej »
Liczby niewymierne
Liczby niewymierne – liczby rzeczywiste niebędące wymiernymi, czyli niebędące ilorazami liczb całkowitych, czasem oznaczane różnicązbiorów: \mathbb R\backslash \mathbb Q. Przykłady to.
Nowy!!: Język formalny i Liczby niewymierne · Zobacz więcej »
Liczby rzeczywiste
geometryczna zbioru liczb rzeczywistych Liczby rzeczywiste – uogólnienie liczb wymiernych na wszystkie liczby odpowiadające punktom na osi liczbowej, zwanej też prostąrzeczywistą.
Nowy!!: Język formalny i Liczby rzeczywiste · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Język formalny i Logika matematyczna · Zobacz więcej »
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Nowy!!: Język formalny i Maszyna Turinga · Zobacz więcej »
Nieskończoność
Nieskończoność (symbol: ∞) – byt nieograniczony (w sensie wielkości bądź ilości), który przyjęło się oznaczać za pomocąznaku \infty, podobnego do „przewróconej ósemki” (lemniskata).
Nowy!!: Język formalny i Nieskończoność · Zobacz więcej »
Podzbiór
Diagram Venna: ''A'' jest podzbiorem ''B'', a ''B'' jest nadzbiorem ''A''. Podzbiór – pewna „część” danego zbioru, czyli dla danego zbioru, nazywanego nadzbiorem, zbiór składający się z pewnej liczby jego elementów, np.
Nowy!!: Język formalny i Podzbiór · Zobacz więcej »
Problem stopu
Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.
Nowy!!: Język formalny i Problem stopu · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Język formalny i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Rozdzielczość ekranu
Szerokość i wysokość wyrażona w liczbie pikseli tworząrozdzielczość. W tym wypadku obraz tworzony na zdjęciu będzie miał szerokość 1915 pikseli i wysokość 900 pikseli, tworząc rozdzielczość 1915 × 900 Rozdzielczość ekranu – jeden z parametrów trybu wyświetlania, określający liczbę pikseli obrazu wyświetlanych na ekranie w bieżącym trybie pracy monitora komputerowego, telewizora lub innego wyświetlacza, którego obraz budowany jest z pikseli.
Nowy!!: Język formalny i Rozdzielczość ekranu · Zobacz więcej »
Rzymski system zapisywania liczb
Rzymski system zapisywania liczb, zwany też łacińskim – addytywny system liczbowy, w podstawowej wersji używający 7 znaków.
Nowy!!: Język formalny i Rzymski system zapisywania liczb · Zobacz więcej »
Słownik
Strona tytułowa I tomu ''Słownika języka polskiego'' Jana Karłowicza, Adama Kryńskiego i Władysława Niedźwiedzkiego”, wyd. w Warszawie w 1900 r. Słownik łaciński ''Totius latinitatis lexicon'' 1858-87 Egidio Forcelliniego Słownik polsko-hiszpański i hiszpańsko-polski „Harald” Wielki słownik ortograficzny PWN, wyd. 2016 Słownik – wydawnictwo opisujące zasób słowny (lub jego część) języka lub porównujące różne języki pod względem leksykalnym.
Nowy!!: Język formalny i Słownik · Zobacz więcej »
Słowo
Słowo – elementarna część mowy.
Nowy!!: Język formalny i Słowo · Zobacz więcej »
Spacja
Spacja – odstęp pomiędzy dwoma wyrazami pisanymi na komputerze lub na maszynie do pisania.
Nowy!!: Język formalny i Spacja · Zobacz więcej »
Symbol startowy
Symbol startowy – symbol nieterminalny wyróżniony w konkretnej gramatyce formalnej, taki że generację słowa w tej gramatyce zaczynamy od słowa złożonego z tego symbolu.
Nowy!!: Język formalny i Symbol startowy · Zobacz więcej »
Wydawnictwo Naukowe PWN
Wydawnictwo Naukowe PWN (WN PWN), w latach 1951–1991 Państwowe Wydawnictwo Naukowe (PWN) – polskie wydawnictwo naukowe założone w 1951 w Warszawie jako Państwowe Wydawnictwo Naukowe.
Nowy!!: Język formalny i Wydawnictwo Naukowe PWN · Zobacz więcej »
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
ul. Banacha Wydział MIM UW od strony ul. Pasteura Wejście do laboratorium komputerowego Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego (WMIM UW, MIMUW) – wydział Uniwersytetu Warszawskiego.
Nowy!!: Język formalny i Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego · Zobacz więcej »
Wyrażenie algebraiczne
Wyrażenie algebraiczne, zwyczajowo wzór matematyczny – syntaktycznie wyrażenie matematyczne, złożone z jednego lub większej liczby symboli algebraicznych (tzn. stałych lub zmiennych), połączonych znakami działań (+,\ -,\ \cdot,\ \colon, potęgi i pierwiastka) i ewentualnie nawiasów, zgodnie z regułami notacji matematycznej.
Nowy!!: Język formalny i Wyrażenie algebraiczne · Zobacz więcej »
Zbiór
Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).
Nowy!!: Język formalny i Zbiór · Zobacz więcej »
Zbiór nieprzeliczalny
Zbiór nieprzeliczalny – zbiór, który nie jest przeliczalny.
Nowy!!: Język formalny i Zbiór nieprzeliczalny · Zobacz więcej »
Zbiór przeliczalny
Zbiór przeliczalny – zbiór, którego elementy można ustawić w ciąg (skończony bądź nie), tzn.
Nowy!!: Język formalny i Zbiór przeliczalny · Zobacz więcej »
Zbiór pusty
Zbiór pusty – zbiór niezawierający żadnych elementów; zazwyczaj oznaczany symbolami \varnothing, \empty, rzadziej \ (niegdyś również: 0 lub Λ).
Nowy!!: Język formalny i Zbiór pusty · Zobacz więcej »
Przekierowuje tutaj:
Języki formalne, Teoria języków formalnych.