Automata and computability

Mã 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...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Kozen, Dexter
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	New York Springer 1997
Những chủ đề:	Lý thuyết máy,Machine theory
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

An introduction to formal languages and automata
Bỡi: Linz, Peter
Được phát hành: (2012)

Automata and Computability
Bỡi: Kozen, Dexter C
Được phát hành: (1997)

Semigroups, algorithms, automata, and languages :
Được phát hành: (2002)

Introduction to automata theory, language, and computation
Bỡi: Hopcroft, John E.
Được phát hành: (2007)

Finite automata
Bỡi: Mark V. Lawson
Được phát hành: (2004)

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Được phát hành: (2001)

Discrete structures and automata theory
Bỡi: Dube, Rakesh
Được phát hành: (2006)

Automata and languages : Theory and applications
Bỡi: Meduna, Alexander
Được phát hành: (2010)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Introduction to languages and the theory of computation
Bỡi: Martin, John C.
Được phát hành: (2011)

Knowledge structures for communications in human-computer systems : General automata-based
Bỡi: Koenig, Eldo C
Được phát hành: (2007)

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) :
Bỡi: Trần, Thị Kim Ngọc
Được phát hành: (2012)

Tin học lý thuyết
Bỡi: Võ, Huỳnh Trâm
Được phát hành: (2009)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Knowledge structures for communications in human-computer systems :
Bỡi: Koenig, Eldo C.
Được phát hành: (2007)

Introducing the theory of computation
Bỡi: Goddard, Wayne
Được phát hành: (2008)

Introduction to languages and the theory of computation
Bỡi: John Martin
Được phát hành: (2003)

Introduction to languages and the theory of computation
Bỡi: Martin, John C.

Introduction to languages and the theory of computation
Bỡi: Martin, John C.

Introduction to languages and the theory of computation /
Bỡi: Martin, John C.
Được phát hành: (2011)

Number Theory for Computing
Bỡi: Song Y. Yan, et al.
Được phát hành: (2018)

Introduction to languages and the theory of computation
Bỡi: Martin, John C
Được phát hành: (2011)

Electrical Machines
Bỡi: Vukosavic, Slobodan N
Được phát hành: (2012)

Numerical Recipes in C : The Art of Scientific Computing
Bỡi: William H. Press, ..
Được phát hành: (2018)

Numerical Recipes in Fortran 77 : The Art of Scientific Computing
Bỡi: William H. Press, ...
Được phát hành: (2018)

Sổ tay công nghệ chế tạo máy
Bỡi: Nguyễn, Đắc Lộc
Được phát hành: (2003)

Elements of the theory of computation /
Bỡi: Lewis, Harry R.
Được phát hành: (1998)

Giáo trình nguyên lý máy /
Bỡi: Đặng Thế Huy
Được phát hành: (1982)

Thiết kế chi tiết máy
Bỡi: Nguyễn, Trọng Hiệp
Được phát hành: (2006)

Cơ sở thiết kế máy & chi tiết máy :
Bỡi: Trịnh, Chất
Được phát hành: (2005)

Cơ sở thiết kế máy
Bỡi: Lê, Văn Uyển
Được phát hành: (2011)

Cơ sở thiết kế máy xây dựng
Bỡi: Vũ, Liêm Chính
Được phát hành: (2002)

Cơ sở thiết kế máy
Bỡi: Nguyễn, Hữu Lộc
Được phát hành: (2000)

Cơ sở thiết kế máy và chi tiết máy :
Bỡi: Trịnh, Chất
Được phát hành: (2007)

Tính toán thiết kế hệ dẫn động cơ khí
Bỡi: Trịnh, Chất
Được phát hành: (2008)

Phương pháp đọc bản vẽ lắp và vẽ tách chi tiết
Bỡi: Phạm, Văn Nhuần
Được phát hành: (2009)

Nghiên cứu thiết kế chế tạo máy in 3D công nghệ FDM :
Bỡi: Nguyễn, Văn Hiện
Được phát hành: (2015)

Tính toán thiết kế hệ dẫn động cơ khí
Bỡi: Trịnh, Chất
Được phát hành: (2011)

Thiết kế chế tạo máy cán thép và các thiết bị trong nhà máy cán thép
Bỡi: Đỗ, Hữu Nhơn
Được phát hành: (2006)