Teoria automatów: Różnice pomiędzy wersjami

[wersja przejrzana]

Usunięta treść Dodana treść

Jednokolumnowy

Wersja z 11:22, 8 kwi 2015

Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów – modeli maszyn liczących.

Podstawowym modelem rozważanym w teorii automatów jest automat skończony (automat Moore'a) w różnych wersjach oraz jego rozszerzenia: maszyna RAM, maszyna Turinga, maszyna wskaźnikowa i inne. Istnieje związek teorii automatów z teorią języków formalnych.

Wersja z 21:46, 14 mar 2013 edytuj Addbot (dyskusja \| edycje) 748 218 edycji m Bot: Przenoszę linki interwiki (25) do Wikidata, są teraz dostępne do edycji na d:q214526 ← poprzednia edycja		Wersja z 11:22, 8 kwi 2015 edytuj anuluj edycję PG (dyskusja \| edycje) Redaktorzy 159 897 edycji drobne redakcyjne następna edycja →
Linia 1:		Linia 1:
	'''Teoria automatów''' ~~- to~~ dziedzina [[informatyka\|informatyki]] zajmująca się badaniem automatów - modeli [[maszyna licząca\|maszyn liczących]].		'''Teoria automatów''' – dziedzina [[informatyka\|informatyki]] zajmująca się badaniem automatów – modeli [[maszyna licząca\|maszyn liczących]].

	Podstawowym modelem rozważanym w teorii automatów jest [[automat skończony]] ([[automat Moore'a]]) w różnych wersjach oraz jego rozszerzenia: [[~~Maszyna~~ RAM]], [[~~Maszyna~~ Turinga]], [[~~Maszyna~~ wskaźnikowa]] i inne. Istnieje związek teorii automatów z [[~~Język~~ formalny\|teorią języków formalnych]].		Podstawowym modelem rozważanym w teorii automatów jest [[automat skończony]] ([[automat Moore'a]]) w różnych wersjach oraz jego rozszerzenia: [[maszyna RAM]], [[maszyna Turinga]], [[maszyna wskaźnikowa]] i inne. Istnieje związek teorii automatów z [[język formalny\|teorią języków formalnych]].