finite-automata
Metaclasses configure classes. But can we configure metaclasses?
I discovered that the existence and use of metaclasses can save you from a lot code-writing by providing an elegant handle on the process of class creation. I use this in my application, where several[详细]
2023-02-21 14:47 分类:问答What is the typical alphabet size of Finite State Machines?
Not quite sure if this is the correct forum, but it was suggested at Theoretical Computer Science that I move it here...[详细]
2023-02-17 03:53 分类:问答what is the McNaughton-Yamada Algorithm?
I am needing to construct a DFA using the McNaughton-Yamada algorithm for a CS class. The problem is the algorithm is supplemental material and I am not clear on what it is exactly. Is it a method for[详细]
2023-02-15 18:25 分类:问答Is this DFA correct?
I\'m supposed to construct a DFA which accepts { w | w is a word except \'aa\' and \'aaa\' } Is this the correct solution? The thick line state is supposed to be the end state.[详细]
2023-02-12 21:06 分类:问答Constructing a Regular Expression from a Finite Automata
I\'m trying to construct a regular expression from a Finite Automaton but found my self completely stuck with this one. The regex to use is like this:[详细]
2023-01-31 06:12 分类:问答How do you construct the union of two DFA's?
Does anyone have a straightforward description of the algorithm for constructing the union of two given DFA\'s? For example, say we have two DFA\'s over {0,1} where[详细]
2023-01-31 05:34 分类:问答Split a string based on each time a Deterministic Finite Automata reaches a final state?
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()[详细]
2023-01-30 18:10 分类:问答formal languages: what does R-trivial mean?
What is an R-trivial langua开发者_如何学Cge? I.e. what is the definition? What is an R-trivial monoid?[详细]
2023-01-28 13:12 分类:问答Finite state machines and deadlocks
This is my problem I know traces of two state machines that are deadl开发者_如何学Goock free. I want to know with the traces (I dont know estructure) , if the composition is deadlock free.[详细]
2023-01-27 01:03 分类:问答Learn about the underlying principles of protocol compilers?
Can anyone recomend a really good book about protocol compilers, ie. how to generate protocol code?I don\'t want any superficial book that sort of works like a cook book with开发者_JAVA百科 a few reci[详细]
2023-01-25 13:45 分类:问答