{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T20:53:06Z","timestamp":1674247986279},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2008,2]]},"abstract":"<jats:p> In this paper two concurrent versions of Brzozowski's deterministic finite automaton (DFA) construction algorithm are developed from first principles, the one being a slight refinement of the other. We rely on Hoare's CSP as our notation. <\/jats:p><jats:p> The specifications that are proposed of the Brzozowski algorithm are in terms of the concurrent composition of a number of top-level processes, each participating process itself composed of several other concurrent processes. After considering a number of alternatives, this particular overall architectural structure seemed like a natural and elegant mapping from the sequential algorithm's structure. <\/jats:p><jats:p> While we have carefully argued the reasons for constructing the concurrent versions as proposed in the paper, there are of course, a large range of alternative design choices that could be made. There might also be scope for a more fine-grained approach to updating sets or checking for similarity of regular expressions. At this stage, we have chosen to abstract away from these considerations, and leave their exploration for a subsequent step in our research. <\/jats:p>","DOI":"10.1142\/s0129054108005577","type":"journal-article","created":{"date-parts":[[2008,2,20]],"date-time":"2008-02-20T04:46:31Z","timestamp":1203482791000},"page":"125-135","source":"Crossref","is-referenced-by-count":1,"title":["A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHM"],"prefix":"10.1142","volume":"19","author":[{"given":"TINUS","family":"STRAUSS","sequence":"first","affiliation":[{"name":"FASTAR Group, Computer Science, University of Pretoria, Pretoria, 0002, South Africa"}]},{"given":"DERRICK G.","family":"KOURIE","sequence":"additional","affiliation":[{"name":"FASTAR Group, Computer Science, University of Pretoria, Pretoria, 0002, South Africa"}]},{"given":"BRUCE W.","family":"WATSON","sequence":"additional","affiliation":[{"name":"FASTAR Group, Computer Science, University of Pretoria, Pretoria, 0002, South Africa"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.502.0173"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1145\/357980.358021"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095419"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095418"},{"key":"rf7","first-page":"16","volume":"30","author":"Sutter H.","journal-title":"Dr. Dobb's Journal"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1145\/1095408.1095421"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00131-X"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054108005577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T11:29:23Z","timestamp":1565177363000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054108005577"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":8,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2008,2]]}},"alternative-id":["10.1142\/S0129054108005577"],"URL":"https:\/\/doi.org\/10.1142\/s0129054108005577","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}