
1 minute read
International Journal for Research in Applied Science & Engineering Technology (IJRASET)

ISSN: 2321-9653; IC Value: 45.98; SJ Impact Factor: 7.538
Advertisement
Volume 11 Issue II Feb 2023- Available at www.ijraset.com
Because for every sequence of transition steps caused by in pw P , there exist a derivation generating with greater or equal to value in G and furthermore, we have suppose
, ( G in G, there exist a sequence of transition steps accepting with the same value in pw P and furthermore
G). We can prove for every derivation of
Consider a plus weighted finite automata