Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Darmowy
Szybszy dostęp niż przeglądarce!
 

Język formalny

Indeks Język formalny

Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem.

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.

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »