Book.
0000 - Gale Group | The Making of Modern World
A kth-order finite automaton is an automaton whose next state is a function of its most recent k states as well as its present ...
Tópico(s): DNA and Biological Computing
1963 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Electronic Computers
FROM OUR SPECIAL CORRESPONDENT, FROM OUR BOWLS CORRESPONDENT, FROM OUR RACING CORRESPONDENT, FROM OUR YACHTING CORRESPONDENT, G. REEVES-SMITH, Chairman of the Executive Committee, Hotels and Restaurants Association of Great Britain. 11, Southampton Row, W.C.1, Aug. 4., GEORGE MAC MUNN., A. G. FULLER. House of Commons, S.W.1, Aug. 2., JOHN STEVENSON. 3, Kirklee Circus, Glasgow, Aug. 3., SANITY., MURIEL BATHER. Nobold Grange, Shrewsbury., FROM OUR CORRESPONDENT, FROM A MILITARY CORRESPONDENT, FROM OUR OWN CORRESPONDENT, By CALLISTHENES, FROM OUR CHESS CORRESPONDENT, BY RICHARD BRINSLEY SHERIDAN, From Our Riga Correspondent, FROM OUR WEATHER CORRESPONDENT, FROM OUR RIGA CORRESPONDENT, LIONEL GOUGH. Haileybury College, Hertford., ROBERT J. SMITH., J. S. NICHOLL, a Member of the Transport Advisory Council. 3, Hill Street, Finsbury, E.C.2., GRENADIER., L. G. MONTEFIORE., From a Special Correspondent, FROM A SWEDISH CORRESPONDENT, FROM A CORRESPONDENT, FROM OUR AGRICULTURAL CORRESPONDENT, JAN ORR EWING., ALAN MCLEAN., DOUGLAS VANDERSTEGEN. Cane End House, Oxon, Aug. 2., FROM OUR FRANKFURT CORRESPONDENT, FROM OUR SWISS CORRESPONDENT, FROM OUR MUKDEN CORRESPONDENT, FROM OUR OTTAWA CORRESPONDENT, FROM OWNERS AND LLOYD'S, FROM LLOYD'S, FROM OUR LABOUR CORRESPONDENT,
... Jamboree Foreign Guests In Newcastle Camp, "Psycho" Maskelyne Automaton In The London Museum, Durham Light Infantry At ...
1934 - Gale Group | TDA
Jeffrey D. Ullman, John E. Hopcroft,
A model of an automaton, called a balloon automaton is proposed, It consists of a finite control, which may be deterministic or nondeterministic, an input ... recognized by such familiar automata as the pushdown automaton or stack automaton. Unfortunately, no closed class recognizes the sets accepted ...
Tópico(s): Computability, Logic, AI Algorithms
1967 - Institute of Electrical and Electronics Engineers | Bell System Technical Journal
D.,
... Co., Limited Shining The Edison Phonographic Toy And Automaton Co., Ltd The Sapphires And Rubies Of Siam, ...
1890 - Gale Group | The Economist
M. Mizumoto, J. Toyoda, Kazuo Tanaka,
... and derive from it the well-known deterministic automaton, nondeterministic automaton, probabilistic automaton, fuzzy automaton, and so on. Moreover, ...
Tópico(s): Fuzzy and Soft Set Theory
1975 - Elsevier BV | Journal of Computer and System Sciences
From Roger Berthoud and David Cross, By George Clark Political Staff, From Charles Hararoug, From Paul Martin, By Michael Baily Transport Correspondent, By Geoffrey Wansell, From Robert Fisk, By Michael Horsnell, By Peter Evans Home Affairs Correspondent, By a Staff Reporter, From a Staff Reporter, From Arthur Osman, By Christopher Sweeney, By a Special Correspondent, By Our Labour Correspondent, By Malcolm Brown and Tim Devlin, John Chartres, Leonard Amey, By Tony Aldous Environment Reporter, By Brian Cashinella, From Charles Hargove, From Our Correspondent, From Gretel Spitzer, From Fred Emery, From Patrick Brogan and Florencia Varas, From David Bonavia, From Richard Harris Dacca, From Mario Modiano, From Michael Knipe, From John Woodcock Cricket Correspondent, By Peter West Rugby Correspondent, By Geoffrey Green Football Correspondent, From Pierre Guillot French Racing Correspondent, By Dennis Bird, By Neil Allen Athletics Correspondent, By Brian Lewis, By Rex Bellamy, By Neil Allen, Joan Chissell, Paul Moor, Max Harrison, Richard Williams, A S Byatt, Stephen Walsh, John Percival, Thomas Walker, Richard Davy, Bryan Forbes, John Roper, Gerald Ely, Tim Jones, PATRICK BROGAN, LUCIA SANTA CRUZ, PHS, Robert Jackson, David Wood, ROBERTHALL, , G. D. N. WORSWICK, , BRINLEY THOMAS, , B. B. SCHOFIELD, , JOAN VICKERS, , DAVID BIRD, , J. W. MASDING, , BARBARA ACTON, , DENNIS WALTERS, , CHRISTOPHER MAYHEW, , ANTHONY NUTTING, , GEOFFREY FURLONGE, , J. HARDIMENT, , CECIL S. ARONOWTTZ, H. E. WALTER, , MARTIN R. DAVIES, , By Clifford Longley Our Religious Affairs Correspondent, From Anthony Thomas United States Economics Correspondent, By Anthony Rowley, By Our Industrial Editor, By Arthur Reed Air Correspondent, By Our Northern Industrial Correspondent, From Charles Hargrove, By R. W. Shakespeare, By Paul Routledge Labour Correspondent, By Clifford Webb, BY THE FINANCIAL EDITOR, By Maurice Corina Industrial Editor, From Anthony Thomas US Economics Correspondent, By Dennis Dwyer, By Kenneth Owen Technology Correspondent, CECIL W. ROBINSON, , P. NICHOLSON, , J. E. F. DAVIES, , P. PALMER JONES, , F. H. M. CRAIG-COOPER, , John Osmond, S. POPECK, , R. S. MUSGRAVE, , PETER B. MACDONALD, , Anthony Thomas, Nancy Foy, Robert Jones, By John Woodland, Tony Aldous, by a Special Correspondent, by John Woodland Commodities Editor, by David Keys, by Roy Lewis, by Patrick O'Leary, P.O'L., by David Lyon,
... costs not offset, A blow at the factory automaton, Mr Bentley bows out with a backhander, Boilermakers' ...
1973 - Gale Group | TDA
The propensity automaton is an automaton whose state itself gives the probability distribution over the outputs. This paper gives the background that has led the author to the idea of a propensity automaton and explains the differences between the propensity automaton, fuzzy automaton, and stochastic automaton. Fuzzy logic and propensity logic are compared, and ...
Tópico(s): Artificial Intelligence in Games
1975 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Systems Man and Cybernetics
From Our Racing Correspondent, From Our Tennis Correspondent, From Our Billiards Correspondent, From Our Rugby Football Correspondent, From Our Special Correspondent, From Our Labour Correspondent, From Our Correspondent, Gilbert Murray., H. A. Kelso., Claud Schuster, E. S. Herbert, W. Harold Primrose., H. W. Candland., G. Kendall Channer., E. Pollock, Andree Morier., A. G. Bradley., Harmsworth., Lytton., -Mr. W. G. Moore, , From Our Weather Correspondent, By Callisthenes, From Our Kennel Correspondent, From Our Own Correspondent, From Our Diplomatic Correspondent, From Our Parliamentary Correspondent, From Our City Editor, From Our Aeronautical Correspondent, W. B. Laurence., P. E. Roberts., Francis Howard., Frank Goodwin, E. L. Roberts., From A Correspondent, From Our Naval Correspondent,
... Reunion Both Battalions On Parade, The Author As Automaton Unseen Dictators, State Of The Roads Advice To ...
1939 - Gale Group | TDA
... with finite support in a d-dimensional cellular automaton, whether or not:o1.c is in the image of the parallel map for the cellular automaton.2.c is in the image of the ...
Tópico(s): Advanced Materials and Mechanics
1973 - Elsevier BV | Journal of Computer and System Sciences
"C. NORTON. "C.S.FETHERSTONHAUGH.", A GOVERNOR.,
... 1798., TELEGRAPH, Exhibited upon Mechanical Principles by an Automaton, The Times., In a few days will be ...
1798 - Gale Group | TDA
V. Lumelsky, Alexander A. Stepanov,
The problem of path planning for an automaton moving in a two-dimensional scene filled with unknown obstacles is considered. The automaton is presented as a point; obstacles can be of ... scene is imposed. The information available to the automaton is limited to its own current coordinates and those of the target position. Also, when the automaton hits an obstacle, this fact is detected by the automaton's "tactile sensor." This information is shown to ... the perimeters of the obstacles met by the automaton in the scene. Algorithms that guarantee reaching the ...
Tópico(s): Optimization and Search Problems
1987 - Springer Science+Business Media | Algorithmica
Jersry, Mr. Frewin, William Throbald, C. Grhvillr, Greville Brooke, J. J., Wharncliffr,
... of the Second Meeting of the Mudfog Association Automaton Police Office (From our Canterbury Correspondent): Mr. Hampton' ...
1838 - Gale Group | Sunday Times HA GDA
Wen Li, Ying-Xia DAI, Yifeng Lian, Pinghui Feng,
... 国家自然科学基金) Context Sensitive Host-Based IDS Using Hybrid Automaton Author: Affiliation: Fund Project: 摘要 | 图/表 | 访问统计 | ... 主机入侵检测的关键是监测进程的运行是否正常.现有的基于静态分析建模的方法具有零虚警的优良特性,但是,由于缺乏精确性或者效率的问题仍然不能实际使用,先前的工作试图在这两者之间寻找平衡点.基于NFA(nondeterministic finite automaton)的方法高效但是不够精确,基于PDA(push down automaton)的方法比较精确但却由于无限的资源消耗而不能应用.其他模型,例如Dyck模型、VPStatic模型和IMA模型使用一些巧妙的方法提高了精确性又不过分降低可用性,但是都回避了静态分析中遇到的间接函数调用/跳转问题.提出一种静态分析-动态绑定的混杂模型(hybrid finite automaton,简称HFA)可以获得更好的精确性并且解决了这一问题.形式化地与典型的上下文相关模型作比较并且证明HFA更为精确,而且HFA更适合应用于动态链接的程序.还给出了基于Linux的原型系统的一些实现细节和实验结果. Abstract:A key ...
Tópico(s): Advanced Malware Detection Techniques
2009 - Science Press | Journal of Software
FROM OUR SPECIAL CORRESPONDENT, FROM OUR MUSIC CRITIC, FROM OUR CORRESPONDENT, From Our Special Correspondent, FROM OUR OWN CORRESPONDENT, FROM OUR SPECIAL CORRESPONDENTS, FROM OUR POLITICAL CORRESPONDENT, From Our University Correspondent, FROM OUR PROPERTY MARKET CORRESPONDENT, FROM OUR SALEROOM CORRESPONDENT, FROM OUR SALE ROOM CORRESPONDENT, FROM OUR AERONAUTICAL CORRESPONDENT, From Our Own Correspondent, FROM OUR DIPLOMATIC CORRESPONDENT, FROM A CORRESPONDENT, From Our Correspondent, From Our Political Correspondent, FROM OUR CITY EDITOR, From Our Parliamentary Correspondent, From Our Labour Correspondent, GEORGE F. MACLEOD, Convener, DAVID SIMPSON., H. D. A. BUTCHER, Divisional Plan-, W. HOPE COLLINS, Managing, Yours, &c., HELEN GARDNER, C. K. ALLEN., ANTHONY GRANT., JEREMY BAKER, PETER HADLEY., From Our Rome Correspondent, J. A. G. GRIFFITH., HUMPHREY HUMPHREYS., TOM M. GRIBBIN, Hon Secretary, , E. G. EARDLEY-WILMOT., From Our Science Correspondent, From Our Cricket Correspondent, From a Staff Reporter, From Our Athletics Correspondent, From Our Golf Correspondent, FROM OUR YACHTING CORRESPONDENT, FROM OUR BOXING CORRESPONDENT, From Our Lawn Tennis Correspondent, From Our Racing Correspondent, By Our City Editor, FROM LLOYD'S,
... Cautioning Of Women Home Secretary Seeks Police Agreement, Automaton Lizard Realizes £1,150 £800 Paid For Monkey, ...
1959 - Gale Group | TDA
Mehryar Mohri, Pedro J. Moreno, Eugene Weinstein,
... novel analysis of the size of the suffix automaton or factor automaton of a set of strings. It shows that the suffix automaton or factor automaton of a set of strings U has at ... for the size of the suffix or factor automaton of an automaton as a function of the size of the original automaton and the maximal length of a suffix shared ... a linear-time algorithm for constructing the suffix automaton S or factor automaton F of U in time O(|S|). Our ...
Tópico(s): DNA and Biological Computing
2009 - Elsevier BV | Theoretical Computer Science
By Michael Hatfield Political Staff, From Peter Nichols, From Fred Emery, By Melvyn Westlake Economics Staff, By Paul Routledge Labour Editor, By Peter Hill, By Neville Hodgkinson, By George Clark Political Correspondent, By Hugh Clayton, By Diana Geddes, By John Roper Medical Reporter, By David Leigh Political Staff, By Philip Howard, By Pearce Wright Science Editor, By Maurice Corina, By a Staff Reporter, By Frances Gibb of The Times Higher Education Supplement, By Martin Huckerby, By Caroline Moorehead, By Stewart Tendler, From Charles Hargrove, From Our Own Correspondent, From David Cross, From Our Correspondent, From Edmund Stevens, From Peter Strafford, From Ray Kennedy, From Michael Knipe, By Arthur Reed Air Correspondent, From Dessa Trevisan, Geoffrey Wansell, John Percival, Clive Bennett, Stanley Sadie, Michael Church, Paul Griffiths, From John Woodcock Cricket Correspondent, By Our Rackets Correspondent, By Peter Walker, By John Blunsden, By Michael Phillips Racing Correspondent, By Bevis Hillier, Robert Fisk, PHS, Bernard Levin, D. SARGENT, Chairman, The Society of Pension Consultants, MAX LANDER, Chairman, The National Association of Pension Funds, KENNETH ALLEN, Chairman, Life Offices Association/Association of Scottish Life Offices, DENNIS F. GILLEY, Chairman, Association of Consulting Actuaries, D. F. ROBERTS, , ALASDAIR M. FRASER, , PETER WALKER, , J. B. GALE, , MARTIN BENDELOW, , F. R. HENN, , DOUGLAS JAY, , ANTHONY QUICK, , JOHN GRIFFITHS, , SAUL BELLOW, WILLIAM FRANKEL, DAN JACOBSON, VICTOR MISHCON, LEONARD SCHAPIRO., TAHA AL-DAWOOD., D. SYMINGTON, , By Nature-Times News Service., By Huon Mallaheu, By John Young Planning Reporter, By Peter Hill Industrial Correspondent, From David Blake Economics Correspondent, By Clifford Webb, By Frank Vogl and Christopher Wilkins, By Richard Allen, By Ronald Pullen, By Wallace Jackson Commodities Editor, By Derek Harris Commercial Editor, By Patricia Tisdall, From Our United States Economics Correspondent, John Brennan, BY THE FINANCIAL EDITOR, Hugh Clayton, Frank Vogl, Peter Hill, EWEN M'EWEN, , J. OLDHAM, , By John Brennan Insurance Correspondent, KENNETH E. O'NEILL, , E. W. G. C. HOWELL, , By Christopher Wilkins,
... call to strengthen defences of Yugoslavia, Barrel-organ automaton fetches £4,000, World survey records drop in ...
1976 - Gale Group | TDA
An intelligent automaton should always arrive at its goal automatically while avoiding the obstacles in a two-dimensional (2D) world. If the automaton does not know the shape or location of ... path-planning algorithm is used to determine the automaton's action flexibly according to changes in the sensor information. By this method, the automaton usually avoids the closer obstacles on the basis ... of the sensor information. If deadlock occurs, the automaton does not arrive at the goal at all. ... in an uncertain world. Within this family, the automaton basically goes straight to the goal. If the ...
Tópico(s): Modular Robots and Swarm Intelligence
1992 - Taylor & Francis | Advanced Robotics
FROM A CORRESPONDENT, FROM OUR MUSIC CRITIC, FROM OUR SPECIAL CORRESPONDENT, From Our Labour Reporter, FROM OUR CORRESPONDENT, FROM OUR SALE ROOM CORRESPONDENT, FROM OUR PROPERTY MARKET CORRESPONDENT, FROM OUR OWN CORRESPONDENT, From Our Own Correspondent, From Our Special Correspondent, FROM OUR UNITED NATIONS CORRESPONDENT, FROM OUR POLITICAL CORRESPONDENT, From Our Correspondent, FROM OUR MEDICAL CORRESPONDENT, E. L. MALLALIEU. House of Commons., J. C WYKES, Headmaster, St. Bees. School House, St. Bees, Cumberland., G. L. BAYLISS., HERBERT BUTCHER. House of Commons, Oct. 24., WILLIAM HOLFORD., R. H. S. CROSSMAN. House of Commons, Oct. 23., JOHN GOLLAN, General Secretary, Communist Party. 16, King Street, W.C.2, Oct. 23., HANS BANG, Secretary, Bacon Con-, From Our Science Correspondent, From Our Association Football Correspondent, From Our Athletics Correspondent, FROM A STAFF REPORTER, From Our Rugby Football Correspondent, FROM OUR MOTOR RACING CORRESPONDENT, FROM OUR BOXING CORRESPONDENT, From Our Racing Correspondent, FROM OUR RACKETS CORRESPONDENT, By Our City Editor,
... With A Stagger", Too Little Sugar In Blood "Automaton" Hit Girl With Spanner, 13-Hour Flight To ...
1957 - Gale Group | TDA
... by Pin, an effective construction of a reversible automaton for a reversible language was still unknown. We ... this paper a method to compute a reversible automaton from the minimal automaton of a reversible language. With this intention, we use the universal automaton of the language that can be obtained from the minimal automaton and that contains an equivalent automaton which is ...
Tópico(s): Cryptography and Data Security
2002 - Springer Science+Business Media | Lecture notes in computer science
J. R. Buck, Daniel Drake, W. L. Sutton, J. F. Malgaigne, John Elliotson, Nathaniel Rogers, Alexander Cooper Lee, Thomas Stewardson, Robert Peel,
... This Journal. By Daniel Drake, M. D., The Automaton with Articulated Voice, Veterinary Surgery, Capsules of Cod- ...
1844 - Gale Group | NCCO-STM 1of2
Jean-Marc Champarnaud, Fabien Coulon,
We can represent the canonical automaton of a language as the smallest automaton which contains any other automaton recognizing this language, providing equivalent states are merged. Indeed, ...
Tópico(s): Chemical Synthesis and Analysis
2002 - IOS Press | Fundamenta Informaticae
J. David Smart, David Sherman, G.H.G. Norman, FrieD. Krupp, Kenneth Jones, R.B. Allen, Jenny Wright, Hilda M. Derrick, Dorothy Johnson,
... no dollars Another war Philippines End of an automaton Spain Loews Hotels Alexander Howden Group Ltd MEPC ...
1975 - Gale Group | The Economist
Ronald L. Rivest, Robert E. Schapire,
... for inferring the structure of a finite-state automaton (FSA) from its input/output behavior, using access to the automaton to perform experiments. Our procedures use a new ... of such equivalence classes the diversity of the automaton; the diversity may be as small as the logarithm of the number of states of the automaton. For the special class of permutation automata , we ... is able to infer the structure of an automaton based on Rubik's Cube (which has approximately ... about 2 minutes on a DEC MicroVax. This automaton is many orders of magnitude larger than possible ...
Tópico(s): Algorithms and Data Compression
1994 - Association for Computing Machinery | Journal of the ACM
... Faith, Descartes Had with Great Industry Made an Automaton Machine to Prove Demonstratively That Beasts Have No ...
1886 - Gale Group | NCCO British Theatre
Ahmed Khorsi, Faïssal Ouardi, Djelloul Ziadi,
The most efficient known construction of equation automaton is that due to Ziadi and Champarnaud. For a regular expression E, it requires O(|E|2) time and space and is based on going from position automaton to equation automaton using c-continuations. This complexity is due to ... present a more efficient construction of the equation automaton which avoids the sorting step and replaces it by a minimization of an acyclic finite deterministic automaton. We show that this minimization allows the identification ...
Tópico(s): Logic, programming, and type systems
2008 - Elsevier BV | Journal of Discrete Algorithms
W. W. Malott, Denis O'Connor, John Fitzsimmons,
... To the Editor of the Sons of Britannia, Automaton Tarantula Spider, Solutions, Chronicles of the Cronies' Club, ...
0000 - Gale Group | NCCO British Theatre
... problem of periodic graph exploration by a finite automaton in which an automaton with a constant number of states has to ... local manner (called local orientation) so that the automaton is able to distinguish them. Precisely, the edges ... two consecutive visits of any node by the automaton in the same state and entering the node ... for setting the local orientation, and a finite automaton using it, such that the automaton explores all graphs of size n within the ... vol. 3499, 2005, pp. 127–139], using an automaton with no memory (i.e. only one state). ...
Tópico(s): Complexity and Algorithms in Graphs
2008 - Elsevier BV | Theoretical Computer Science
Simon Manning, Michael Reed, Brian Collett, Gillian Bowditch Scotland Correspondent, Andrew Pierce, Christopher Thomas, South Asia Correspondent, Patricia Davies, Rob Hughes, Jeremy Laurance, Andrew Longmore, John Pittuck, Head, Richard Thomson, David Pannick Qc, Alexandra Frean, Media Correspondent, David Lee, G. Michael Hitchon, President, Janet Bush, Economics Correspondent, Angus Nicol, Ross Tieman, Industrial Correspondent, James Landale, Political Reporter, Philip Howard, Jeremy Kingston, Norman De Mesquita, Rachel Campbell-Johnston, Jeremy Laurance Health Correspondent, Rugby Union, Simon Wilde, Roger Maynard, Colin Narbrough, Geoff Brown, Stuart Jones Tennis Correspondent, Robert Sheehan, Bridge Correspondent, Bernard Levin, Robert Miller, Jonathan Prynn, Transport Correspondent, Martin Fletcher, Michael Gross, Pat Gibson, Stuart Jones, Kris Anderson, Stewart Tendler Crime Correspondent, John Hopkins, Golf Correspondent, Robert Wright, Peter Ball, John O'leary, Education Editor, Raymond Keene Chess Correspondent, Martin Barrow, Michael Evans, Defence Correspondent, Robin Young, Peter Millar, Michael Clark, Alexandra Frean and Tim Jones, Woodrow Wyatt, Peter Barnard, Nigella Lawson, Edward Gorman, Kate Muir, Russell Kempson, Bernard Hickey, Richard Cork, Sacha Craddock, Edward Fennell, Philip Bassett, Wilfrid Tymms, Lin Jenkins, Barry Millington, Geoffrey Wheeler, John Laurence, Raymond Keene, Adam Sage, Christine Buckley, David Robinson, Peter Davalle, Leyla Linton, Michael Evans, Stacy Sullivan, William Kristol, P. H. S, Paul Griffiths, Nigel Hawkes, Stephen Slater, Arthur E. Circus, Peyton Skipwith, (Deputy Managing Director), Oliver Holt, Roger Boyes, Peter Hampson, Director, Jerry Dubrowski, David Hands Rugby Correspondent, Nicholas Wood, Chief Political Correspondent, R. G. Maling, Richard Duce, Dominic Kennedy, David Rudnick, James Pringle, Nicholas Watt Ireland Correspondent, Edward Mendelsohn, Kathryn Knight, Julian Brazier, Crinan Alexander, Principal Scientific Officer, Anjana Ahuja, David Plowright, (Chairman), John Shaw, Scrivenor, Peter Riddell, Alan Jabez, C. J. Linck, Nigel Hawkes and Nick Nuttall, Alan Lee Cricket Correspondent, Nadine Meisner, Phil Ridgway, Kate Bassett, Martin Waller, Michael Horsnell, Dr Thomas Stuttaford, Marianne Curphey, Frances Gibb Legal Correspondent, Alyson Rudd, Frances Gibb, Sam Kiley, Patricia Tehan Banking Correspondent, Michael Henderson, Vince Wright, Andrew Finkel, Ross Tieman, Esmond Bulmer, Chairman, E. G. Mosely, Kevin Eason, Motoring Editor, Christopher Irvine,
... AssociationL: Pollution Mental health Planting ideas Medical march Automaton alert Regular exercise staves off senility Nokia Rigid ...
1995 - Gale Group | TDA
Miroslav Ćirić, Manfred Droste, Jelena Ignjatović, Heiko Vogler,
... initial algebra semantics, and transition semantics of an automaton are different. We prove an algebraic characterization for ... generated submonoids. Moreover, for a given weighted finite automaton we construct the Nerode automaton and Myhill automaton, both being crisp-deterministic, which are equivalent to the original automaton with respect to the initial algebra semantics, respectively, ...
Tópico(s): Formal Methods in Verification
2010 - Elsevier BV | Information Sciences