Automata and computability

Côd QR

Automata and computability

This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader cla...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Kozen, Dexter
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	New York Springer 1997
Pynciau:	Lý thuyết máy,Machine theory
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Eitemau Tebyg

An introduction to formal languages and automata
gan: Linz, Peter
Cyhoeddwyd: (2012)

Automata and Computability
gan: Kozen, Dexter C
Cyhoeddwyd: (1997)

Finite automata
gan: Mark V. Lawson
Cyhoeddwyd: (2004)

Semigroups, algorithms, automata, and languages :
Cyhoeddwyd: (2002)

Introduction to automata theory, language, and computation
gan: Hopcroft, John E.
Cyhoeddwyd: (2007)

Automata, Universality, Computation: Tribute to Maurice Margenstern
gan: Adamatzky, Andrew
Cyhoeddwyd: (2016)

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Cyhoeddwyd: (2001)

Discrete structures and automata theory
gan: Dube, Rakesh
Cyhoeddwyd: (2006)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Cyhoeddwyd: (2002)

Automata and languages : Theory and applications
gan: Meduna, Alexander
Cyhoeddwyd: (2010)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Cyhoeddwyd: (2001)

Introduction to languages and the theory of computation
gan: Martin, John C.
Cyhoeddwyd: (2011)

An introduction to formal languages and machine computation /
gan: Yan, Song Y.
Cyhoeddwyd: (1998)

Knowledge structures for communications in human-computer systems : General automata-based
gan: Koenig, Eldo C
Cyhoeddwyd: (2007)

Introduction to languages and the theory of computation
gan: John Martin
Cyhoeddwyd: (2003)

Introduction to languages and the theory of computation
gan: Martin, John C.

Introduction to languages and the theory of computation
gan: Martin, John C.

Introduction to languages and the theory of computation /
gan: Martin, John C.
Cyhoeddwyd: (2011)

Phân lớp dữ liệu văn bản lớn dựa trên mô hình túi từ (Bag-of-words) và với giải thuật máy học véc tơ hỗ trợ (SVM) :
gan: Trần, Thị Kim Ngọc
Cyhoeddwyd: (2012)

Introducing the theory of computation
gan: Goddard, Wayne
Cyhoeddwyd: (2008)

Tin học lý thuyết
gan: Võ, Huỳnh Trâm
Cyhoeddwyd: (2009)

Knowledge structures for communications in human-computer systems :
gan: Koenig, Eldo C.
Cyhoeddwyd: (2007)

Elements of the theory of computation /
gan: Lewis, Harry R.
Cyhoeddwyd: (1998)

Cellular Automata: Analysis and Applications. 1st ed. 2017
gan: Hadeler, Karl-Peter, et al.
Cyhoeddwyd: (2020)

Electrical Machines
gan: Vukosavic, Slobodan N
Cyhoeddwyd: (2012)

Introduction to languages and the theory of computation
gan: Martin, John C
Cyhoeddwyd: (2011)

Sổ tay công nghệ chế tạo máy
gan: Nguyễn, Đắc Lộc
Cyhoeddwyd: (2003)

Knowledge structure for communications in human- computer systems :
gan: Koenig, Eldo C. (Eldo Clyde)
Cyhoeddwyd: (2007)

Computation in modern physics
gan: Gibbs, William R.
Cyhoeddwyd: (2003)

Thiết kế chi tiết máy
gan: Nguyễn, Trọng Hiệp
Cyhoeddwyd: (2006)

Cơ sở thiết kế máy & chi tiết máy :
gan: Trịnh, Chất
Cyhoeddwyd: (2005)

Cơ sở thiết kế máy
gan: Lê, Văn Uyển
Cyhoeddwyd: (2011)

Learning automata :
gan: Narendra, Kumpati S.
Cyhoeddwyd: (1989)

Cellular Automata
gan: Umeo, Hiroshi, et al.
Cyhoeddwyd: (2020)

Cellular Automata
gan: Mauri, Giancarlo, et al.
Cyhoeddwyd: (2020)

Giáo trình nguyên lý máy /
gan: Đặng Thế Huy
Cyhoeddwyd: (1982)

Cơ sở thiết kế máy xây dựng
gan: Vũ, Liêm Chính
Cyhoeddwyd: (2002)

Cơ sở thiết kế máy
gan: Nguyễn, Hữu Lộc
Cyhoeddwyd: (2000)

Cơ sở thiết kế máy và chi tiết máy :
gan: Trịnh, Chất
Cyhoeddwyd: (2007)

Tính toán thiết kế hệ dẫn động cơ khí
gan: Trịnh, Chất
Cyhoeddwyd: (2008)