automaton

    2热度

    2回答

    维基百科指出确定性状态自动化“为每个输入字符串生成自动机的唯一计算(或运行)”。 我一直认为这是因为只有1个可能的路径来计算任何唯一的字符串。在这种情况下,以下是DSM。 但是现在我正在反思这一点,并将描述解释为每个输入字符串都有一个可能的路径,并且该路径对所有其他输入字符串都是唯一的。在这种情况下,以下不是DSM,因为'11'和'12'遵循相同的路径。 所以我的问题是,下面是DSM或NDSM?

    0热度

    2回答

    这里是我的元胞自动机的代码我的工作: public class Life1D { private Rule rule; private int stepCount; public static void main (String [ ] args) { Life1D simulation = new Life1D (); simulat

    2热度

    2回答

    我想在mathematica中创建一个模块,该模块在自动机是确定性或非确定性时返回。 我在考虑如果有两个转换开始于相同的状态并读取相同的符号或者如果存在空的转换,则自动机不是确定性的。 欲调试代码,但我不能: isDeterministic[au_] := Module[{a, s}, For[i = 1, i <= Length[au[[3]]], a = au[[3]][[

    2热度

    2回答

    我是学生,在编程课程中我们必须学习Haskell。所以我是新手,并没有那么多的经验。此外,我不熟悉在论坛中发布问题。 所以首先我将张贴在图书馆,我有工作。 (DA:确定性自动机) type State = Integer type DA = (State, State -> Char -> State, State -> Bool) type ListDA = (State, [((State

    1热度

    2回答

    我正在做两个自动机(实际上它是一个传感器)的组成。因此,我想直观地表示它来分析它。 哪一个是最好的工具/库相同? 人们建议我点和graphviz。哪个更好?我在OCaml中编写代码。这有没有图书馆来绘制? 这是我想绘制的示例换能器吗?

    0热度

    1回答

    我正在尝试使用TAP(测试任何协议)作为我们的测试结果格式。但是,有些日志文件需要附加到测试结果。我正在寻找一个良好的做法来实现这一目标。 例如,我有一个水龙头文件和两个日志文件:a.log,b.log 1..1 ok 1 - sample.MyFirstTest#testCurrentTime --- message: Hello logfile: a.log,

    10热度

    1回答

    我做用于自动机理论的分配,这是我必须确定是否一个字由一个过渡函数的确定性有限自动机 我接受或不不确定性有这样的输入的文件: 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 3 aaabcccc aabbbbcdc acdddddd 输入开始与4点的整数,第一是状态自动机的数目,其次是自动机的转换

    5热度

    3回答

    我正在做一个模拟非确定型有穷自动机的任务,就像我在这里解释的post。我有这个输入从文件读tarea4.in: 1 6 8 0 2 2 5 0 0 a 0 1 a 1 1 b 1 2 c 1 3 c 3 4 d 4 4 d 4 5 d 5 aaabcccc aabbbbcdc abbcdddcc acdddddd abc 输入的第一行是一个整数T,表示病例数来

    1热度

    1回答

    有一段时间,我试图做一个模拟非确定性有穷自动机(NFA)的程序,更具体地说,是一个字符串识别器。经过多次失败,由于用户Konrad Rudolph,我可以实现基于这种伪代码的解决方案: 那么,在NFA你有一组当前状态,并在每个步骤中,您经历的所有的当前状态,并为每个选择所有有效的转换。这些组合集合形成你的新状态集。 最后,检查当前状态和接受状态的交集是否非空。 在伪代码这看起来如下: curren

    0热度

    1回答

    我想知道dk.brics.automaton支持哪些元字符。 它甚至不支持.运算符吗?当我给a.b时,它会进入无限循环,直到Err: OutOfMemory。 除了与.相同的用途,还有其他选择吗? 如果您有关于哪些运营商支持dk.brics.automaton的想法,请在此帮助列出它们。