000			00944nam a2200145 4500
999			_c5652 _d5652
082			_a004.01 _bS100L
100			_aSalomaa, Arto
245			_aNhập môn tin học lý thuyết tính toán và các ôtômát: _cArto Salomaa, Nguyễn Xuân My, Phạm Trà Ân dịch, Bạch Hưng Khang,Đặng Văn Hưng hiệu đính _bDịch từ bản tiếng Anh của nhà xuất bản Đại học tổng hợp Cambridge,1985
260			_aH. _bKhoa học và kĩ thuật _c1992
300			_a404 tr. _c21cm
520			_aGiới thiệu các mô hình tính toán, những kiến thức cơ bản về lý thuyết ngôn ngữ, các ô tô mát cs hạn chế, các máy turing và các hàm đệ quy. Đề cập đến các bài toán quyết định nổi tiếng, đệ phức tạp tính toán, mật mã họ, các hướng mới trong lý thuyết ô tô mát và ngôn ngữ
653			_aTin học
653			_aLý thuyết
942			_2ddc _cSTK0