-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathInputFA.java
More file actions
70 lines (63 loc) · 1.95 KB
/
InputFA.java
File metadata and controls
70 lines (63 loc) · 1.95 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
package core;
import java.util.Scanner;
import util.InputUtil;
public class InputFA {
public FA input() {
FA nfa = new FA();
Scanner scanner = new Scanner(System.in);
// 输入所有的状态
inputNodes(scanner, nfa);
inputEdges(scanner, nfa);
return nfa;
}
public void inputNodes(Scanner scanner, FA nfa) {
// 共有多少种状态
System.out.print("一个有多少种状态: ");
int stateNum = InputUtil.inputNum(scanner);
boolean hasBeginState = false;
for (int i = 0; i < stateNum; i++) {
Node node = new Node();
node.setIndex(i + 1);
System.out.println("请输入第" + (i + 1) + "个状态的信息:");
System.out.print(" 状态的名称: ");
node.setNodeName(scanner.next());
// 还没有初态时才会询问是否是初态
if (!hasBeginState) {
System.out.print(" 是否是初态(Y/N)?: ");
if (scanner.next().trim().equalsIgnoreCase("Y")) {
node.setBeginNode(true);
hasBeginState = true;
}
}
//是否为终态
System.out.print(" 是否是终态(Y/N)?: ");
if (scanner.next().trim().equalsIgnoreCase("Y")) {
node.setEndNode(true);
}
nfa.getNodes().add(node);
}
// 如果所有的输入中没有初始状态,则输入错误
if (!hasBeginState) {
System.out.println("这不是一个有穷自动机,因为没有初始状态,系统错误退出!");
System.exit(0);
}
}
// 输入所有的边
public void inputEdges(Scanner scanner, FA nfa) {
System.out.print("一个有多少条边: ");
int edgeNum = InputUtil.inputNum(scanner);
for (int i = 0; i < edgeNum; i++) {
System.out.println("请输入第" + (i + 1) + "条边的信息:");
Edge edge = new Edge();
System.out.print(" 边的名称(&表示空串): ");
edge.setEdgeName(scanner.next().trim());
System.out.print(" 从第几个状态开始?: ");
edge.setBeginIndex(InputUtil.inputNumBetweenAandB(scanner, 1, nfa
.getNodes().size()));
System.out.print(" 从第几个状态结束?: ");
edge.setEndIndex(InputUtil.inputNumBetweenAandB(scanner, 1, nfa
.getNodes().size()));
nfa.getEdges().add(edge);
}
}
}