{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T09:18:44Z","timestamp":1648631924243},"reference-count":8,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer Mathematics"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1080\/00207169708804584","type":"journal-article","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T00:21:47Z","timestamp":1182817307000},"page":"191-210","source":"Crossref","is-referenced-by-count":0,"title":["Proof of Correctness of a Direct Construction of DFA from Regular Expression"],"prefix":"10.1080","volume":"64","author":[{"given":"S.","family":"Ramesh babu","sequence":"first","affiliation":[]},{"given":"A.","family":"Sanyal","sequence":"additional","affiliation":[]},{"given":"G.","family":"Venkatesh","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Lectures on Constructive Functional Programming","author":"Bird R. S.","year":"1988"},{"key":"CIT0002","first-page":"255","volume-title":"Algorithms for finding patterns in strings, in Handbook of Theoretical Computer Science","author":"Aho A. V.","year":"1992"},{"key":"CIT0003","volume-title":"Compilers-Principles, Techniques and Tools","author":"Aho A. V.","year":"1988"},{"key":"CIT0004","first-page":"3","volume-title":"Logic of Programming and Calculi of Discrete Design","author":"Bird R. S.","year":"1987"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(89)90036-1"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/133233.133240"},{"key":"CIT0007","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft J. E.","year":"1988"},{"key":"CIT0008","volume-title":"Tcl and the Tk Toolkit","author":"Ousterhoust J.","year":"1991"}],"container-title":["International Journal of Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207169708804584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T10:58:52Z","timestamp":1481713132000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207169708804584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":8,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1080\/00207169708804584"],"URL":"https:\/\/doi.org\/10.1080\/00207169708804584","relation":{},"ISSN":["0020-7160","1029-0265"],"issn-type":[{"value":"0020-7160","type":"print"},{"value":"1029-0265","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}