Обычно 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 и т. д..
i.e
Мое заявление: я могу использовать DFA не только для проверки определенного языка, но и для отслеживания определенных строк, принадлежащих определенным языкам в данной строке. (доказательство: вышеуказанным методом).
Верно ли мое утверждение выше?