Nos conhecimentos acerca de linguagens formais e autômatos existem algumas representações formais, que visam auxiliar o desenvolvedor nas funções d...

Nos conhecimentos acerca de linguagens formais e autômatos existem algumas representações formais, que visam auxiliar o desenvolvedor nas funções de cada uma das partes que representam os grafos. Um exemplo desse tipo de representação formal pode ser observado a seguir: Um Autômato Finito Determinístico é uma quíntupla (Q, Σ, d, s, F), no qual: • Q: é o conjunto de estados que o autômato pode assumir. • Σ: é o alfabeto reconhecido pelo autômato, ou seja, os símbolos que podem aparecer na fita de entrada. • d: é a função de transição. • s: é o estado inicial do autômato. • F: é o conjunto de estados finais do autômato. Com isso, podemos dizer que a maioria dos problemas matemáticos pode ser representada formalmente. Quanto às representações formais encontradas na teoria dos grafos, observe as afirmativas a seguir. I. Os grafos normalmente são representados pela definição formal G(x). II. Nos grafos, normalmente os vértices recebem a definição formal V(g). III. Nos grafos, normalmente as arestas recebem a definição formal S(g). IV. Os grafos, na sua forma geral, não utilizam formalismo para representar a sua estrutura. Está correto o que se afirma em: