Phranakorn Rajabhat University Library

Automata and computability / [electronic resource]

Kozen, Dexter C. 1951-

Automata and computability / [electronic resource] Dexter C. Kozen - New York : Springer, 1997 - 1 online resource (xiii, 407 pages) - Undergraduate texts in computer science .

Includes bibliographical references and index


Introduction -- Finite automata and regular sets -- Pushdown automata and context --Languages -- Turing machines and Eeffective computability -- Exercises -- Homework Sets -- Miscellaneous Eexercises -- Hints and solutions

9781461218449 (E-book)


MACHINE THEORY
COMPUTABLE FUNCTIONS

QA 267 / K69A 1997

มหาวิทยาลัยศรีปทุม (กทม.)
2410/2 ถ.พหลโยธิน เขตจตุจักร กรุงเทพฯ 10900
Tel : 02-579-1111, 02-561-2222
มหาวิทยาลัยศรีปทุม (ชลบุรี)
79 หมู่ 1 ถ.บางนา-ตราด ต.คลองตำหรุ อ.เมือง จ.ชลบุรี 20000
Tel : 038-146-123
มหาวิทยาลัยศรีปทุม (ขอนแก่น)
182/12 หมู่ 4 ถ.ศรีจันทร์ ต.ในเมือง อ.เมือง จ.ขอนแก่น 40000
Tel : 043-224-111


 

$(document).ready(function() { // Basic detection of search var searchBox = $('#transl1'); // This is standard OPAC search input id ?? // Actually standard is 'q' or 'idx'. // We want to trigger when the user sees results. // Usually we check if we are on search results page. if ($('body').hasClass('opac-results')) { var params = new URLSearchParams(window.location.search); var query = params.get('q'); if (query) { // Show Loading var container = $('
'); container.append('

✨ AI Recommendations

'); container.append(''); // Prepend to main content // Selector depends on theme. 'div.maincontent' or '#opac-main' $('#userresults').prepend(container); $.ajax({ url: '/api/v1/contrib/aisearch/search?q=' + encodeURIComponent(query), method: 'GET', success: function(data) { container.find('.spinner').remove(); if (data && data.length > 0) { var ul = ''; container.append(ul); } else { container.append('

No AI recommendations found.

'); } }, error: function() { container.find('.spinner').remove(); container.append('

Error loading AI recommendations.

'); } }); } } });