def buildIPTPropF(fname): """Builds a IPTProp from a FAdo SFT file :param str fname: file name :rtype: IPTProp""" t = fio.readOneFromFile(fname) return IPTProp(t)
def buildErrorCorrectPropF(fname): """ Builds an Error Correcting Property :param str fname: file name :rtype: ErrCorrectProp""" t = fio.readOneFromFile(fname) return ErrCorrectProp(t)
#!/usr/bin/python from fa import * from fio import readOneFromFile print print 'The program reads an automaton (in FAdo syntax) from a given file,' print 'and then it keeps reading strings and tells whether each string is' print 'accepted by the automaton. The program terminates if a given string' print 'contains a symbols that is not in the alphabt of the automaton. ' print fname = raw_input('\nEnter name of file containing the automaton: ') A = readOneFromFile(fname) print 'The alphabet of the automaton is:' for s in A.Sigma: print s, print while True: w = raw_input('\nEnter string> ') print '--> ', ok = True for s in w: if s not in A.Sigma: ok = False break if not ok: print 'the string contains '+s+', which is not in the alphabet.' break else: print A.evalWordP(w)