Изучение DFA с L * - PullRequest
Новая
       29

Изучение DFA с L *

0 голосов
/ 01 апреля 2019

Я пытаюсь изучить DFA с алгоритмом L * здесь . Я нашел эту среду с открытым исходным кодом для изучения DFA: LearnLib , и я задавался вопросом, использовал ли кто-нибудь здесь это, потому что я не могу заставить это работать. Вот что я сделал: 

$ git clone https://github.com/LearnLib/cav2015-example.git
$ cd cav2015-example/src/main/java/de/learnlib/example/cav2015/coffee
$ wget https://search.maven.org/remotecontent?filepath=de/learnlib/distribution/learnlib-distribution/0.14.0/learnlib-distribution-0.14.0-dependencies-bundle.jar
$ cp *.jar all.jar
$ javac -cp all.jar Example1.java

Но я получаю эти ошибки (и даже больше): 

Example1.java:21: error: package net.automatalib.automata.transout.impl.compact does not exist
import net.automatalib.automata.transout.impl.compact.CompactMealy;
                                                     ^
Example1.java:25: error: package de.learnlib.algorithms.features.observationtable does not exist
import de.learnlib.algorithms.features.observationtable.OTUtils;
                                                       ^
Example1.java:26: error: package de.learnlib.algorithms.lstargeneric.mealy does not exist
import de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy;
...