Обычно DFA используются для проверки наличия данной строки на определенном языке.
например, _ab1c присутствует в языке переменных в C.
Что я делаю?
Но, как указано в в этом вопросе , я использую DFA для отслеживания всех комментариев, строк и т. Д.
Как у меня дела?
Рассмотрим пример трассировки // комментариев в заданной строке / программе.
static int makeTransition[][] = {
/* Transition Table */
/*{other,\n, \, /, *, ', "} */
/*q0*/ { 0, 0, 0, 1, 0, 0, 0},
/*q1*/ { 0, 0,-1, 2, 0, 0, 0},
/*q2*/ { 2, 0, 2, 2, 2, 2, 2},
};
Для этого, если у меня есть,
void assignPointerValuesInPairs(int index)
{
/*comments is an ArrayList
before marking start hotpointer = -1
after marking start hotpointer = 0
after marking end hotpointer is resetted to -1*/
switch(currentState)
{
case 2: /*q2*/
comments.add(/*mark start*/);
hotPointer = 0;
break;
case 0: /*On initial state q0*/
switch(hotPointer)
{
case 0: //If I am in end of comment.
comments.add(/*mark end*/);
hotPointer = -1; //Resetting the hotPointer.
break;
case -1: /*Already in q1 only*/
/*Do nothing*/
}
}
}
public static void traceOut(String s) //entire program is accepted as string.
{
int index = 0;
while (index < s.length() ) {
char c = s.charAt(index);
try{
currentState = makeTransition[currentState][symbolToInteger(c)];
if(currentState == -1)
throw new InvalidSyntaxException();
}
catch(InvalidSyntaxException e){
currentState = 0;
invalidSyntax.add(index);
}
assignPointerValuesInPairs(index);
index++;
}
currentState = 0;
assignPointerValuesInPairs(index); //These 2 statements help to color while typing.. (i.e) It forces the current state to get finished abruptly.
}
}
Мой вопрос ...
могу ли я использовать DFA, чтобы пометить конец и начало // комментария таким образом,
или я должен следовать как-то иначе, например, CFG и т. д.
1021 * то есть *
Мое заявление: я могу использовать DFA не только для проверки определенного языка, но и для
проследить определенные строки принадлежат определенным языкам в данном
строка. (доказательство: вышеуказанным методом).
Правильно ли мое утверждение выше?