finite-automata

Equivalence between two automata

空扰寡人 提交于 2019-12-04 21:47:29
问题 Which is the best or easiest method for determining equivalence between two automata? I.e., if given two finite automata A and B, how can I determine whether both recognize the same language? They are both deterministic or both nondeterministic. 回答1: Two nondeterministic finite automota (NFA's) are equivalent if they accept the same language. To determine whether they accept the same language, we look at the fact that every NFA has a minimal DFA, where no two states are identical. A minimal

Split a string based on each time a Deterministic Finite Automata reaches a final state?

有些话、适合烂在心里 提交于 2019-12-04 18:34:33
I have a problem which has an solution that can be solved by iteration, but I'm wondering if there's a more elegant solution using regular expressions and split() I have a string (which excel is putting on the clipboard), which is, in essence, comma delimited. The caveat is that when the cell values contain a comma, the whole cell is surrounded with quotation marks (presumably to escape the commas within that string). An example string is as follows: 123,12,"12,345",834,54,"1,111","98,273","1,923,002",23,"1,243" Now, I want to elegantly split this string into individual cells, but the catch is

Tool for drawing automata and syntax trees [closed]

久未见 提交于 2019-12-04 08:47:02
问题 Closed. This question is off-topic. It is not currently accepting answers. Want to improve this question? Update the question so it's on-topic for Stack Overflow. Closed 3 years ago . I am searching for a free tool(s) to create visually appealing diagrams of finite automata and syntax trees. Note: I really just want to draw diagrams. I do not have to create a model or do something fancy with it. Thanks for your time. EDIT : I might add, that I am creating documentation in Latex and therefore

(FInite State Machine) - Implementing a XML schema validator in javascript

泄露秘密 提交于 2019-12-04 07:37:43
I have been working on a project for a month or so now to develop a XML validator (XSD) in javascript. I have gotten really close but keep running into problems. The only thing I have working well is normalizing schema structures into FSA that I store in the DOM. I have tried several methods to validate my xml structures against the FSA and come short each time. The validator is being used to run a client side WYSIWYG XML editor so it has to meet the following requirements Must be efficient ( < 15ms to validate an element child node pattern even with complex models) Must expose a Post

Equivalence between two automata

情到浓时终转凉″ 提交于 2019-12-04 06:14:44
Which is the best or easiest method for determining equivalence between two automata? I.e., if given two finite automata A and B, how can I determine whether both recognize the same language? They are both deterministic or both nondeterministic. Two nondeterministic finite automota (NFA's) are equivalent if they accept the same language. To determine whether they accept the same language, we look at the fact that every NFA has a minimal DFA, where no two states are identical. A minimal DFA is also unique. Thus, given two NFA's, if you find that their corresponding minimal DFA's are equivalent,

Finite State Machine in Objective-C

醉酒当歌 提交于 2019-12-03 16:36:32
Does anyone have a solution for a basic, compact Finite state machine/automata written in Objective-C code? I am interested in reusable components so that the FSM have states added and actions defined that use reusable state classes. What you want is a rules engine... oddly, I was able to find only one for objective-C (BDRuleEngine) and that is rather out of date: http://eschatologist.net/bDistributed.com/index.html It might be the best starting point though, unless you want to port something. Radislav I've found a good solution. This is the best choice for Objective-C I have ever seen. Enjoy

What is the use of finite automata? [closed]

泪湿孤枕 提交于 2019-12-03 09:34:50
问题 Closed . This question needs to be more focused. It is not currently accepting answers. Want to improve this question? Update the question so it focuses on one problem only by editing this post. Closed last year . What is the use of finite automata? And all the concepts that we study in the theory of computation. I've never seen their uses yet. 回答1: They are the theoretical underpinnings of concepts widely used in computer science and programming, and understanding them helps you better

Levenshtein DFA in .NET

杀马特。学长 韩版系。学妹 提交于 2019-12-03 01:35:38
Good afternoon, Does anyone know of an "out-of-the-box" implementation of Levenshtein DFA ( deterministic finite automata ) in .NET (or easily translatable to it)? I have a very big dictionary with more than 160000 different words, and I want to, given an inicial word w , find all known words at Levenshtein distance at most 2 of w in an efficient way. Of course, having a function which computes all possible edits at edit distance one of a given word and applying it again to each of these edits solves the problem (and in a pretty straightforwad way). The problem is effiency --- given a 7 letter

How useful is Turing completeness? are neural nets turing complete?

别说谁变了你拦得住时间么 提交于 2019-12-03 01:28:37
问题 While reading some papers about the Turing completeness of recurrent neural nets (for example: Turing computability with neural nets, Hava T. Siegelmann and Eduardo D. Sontag, 1991), I got the feeling that the proof which was given there was not really that practical. For example the referenced paper needs a neural network which neuron activity must be of infinity exactness (to reliable represent any rational number). Other proofs need a neural network of infinite size. Clearly, that is not

What is a finite state transducer?

浪子不回头ぞ 提交于 2019-12-03 00:53:35
问题 Can someone please tell me what a finite state transducer is? I have read the Wikipedia article and don't understand a thing. 回答1: A finite state transducer (FST) is a finite state automaton (FSA, FA) which produces output as well as reading input, which means it is useful for parsing (while a "bare" FSA can only be used for recognizing, i.e. pattern matching). An FST consists of a finite number of states which are linked by transitions labeled with an input/output pair. The FST starts out in