state_machine_reader.py

# coding: utf-8

class Estado(object):

	def __init__(self, num, props, proxEstados):
		self.num = num
		self.props = props
		self.proxEstados = proxEstados
		self.expValidas = []

class maqEstados(object):

	def __init__(self):
		self.listaEstados = []
		self.listaProps = []
		self.listaProxEstados = []
		self.numEstados = 0

	def leMaquina(self, arqArray):
		# Leitura das propriedades da maquina de estados

		totLinhas = int(arqArray[0][0])		

		if (totLinhas <= 0) or (totLinhas != (len(arqArray) - 2)): # Confere integridade da máquina
			return False

		matrizProps = []
		matrizEstados = []
		estados = []

		for i in range(0, totLinhas):
			listaProxEstad = []
			listaPropriedades = []
			totProps = arqArray[i+1][2]
			indexBase = (2*(int(totProps) + 1))
			pIndex = 4			

			if (totProps == '0'):
				listaPropriedades = [];
				
			else:				
				for j in range(0, int(totProps)):
					param = []
					param.append(arqArray[i+1][pIndex])
					while (arqArray[i+1][pIndex + 1] != ' '):
						pIndex += 1
						param.append(arqArray[i+1][pIndex])
					param = ''.join(param)
					listaPropriedades.append(param)
					pIndex += 2			

			totProxEstad = arqArray[i+1][pIndex]
			
			# As propriedades da maquina de estados sao preenchidas conforme a posicao
			# das informacoes no arquivo de entrada	

			if (totProxEstad == 0):
				listaProxEstad = [];
			else:
				listaProxEstad = (arqArray[i+1][(pIndex + 2):(pIndex + (2*int(totProxEstad) + 3))]).split(' ')
				if (len(listaProxEstad) > int(totProxEstad)): # Corta espaços extras
					listaProxEstad = listaProxEstad[:int(totProxEstad)]				
				
				for j in listaProxEstad:
					if (int(j) > totLinhas): # Checa se há estados acima do permitido
						return False

			matrizProps.append(listaPropriedades)		
			matrizEstados.append(listaProxEstad)
			estado = Estado(i+1, listaPropriedades, listaProxEstad)
			estados.append(estado)

			print ('Estado', estado.num)
			print ('Propriedades:', listaPropriedades)	
			print ('Proximos Estados:', listaProxEstad, '\n')

		# Definição da Máquina de Estados

		self.numEstados = totLinhas
		self.listaEstados = estados
		self.listaProps = matrizProps
		self.listaProxEstados = matrizEstados

		print ('Matriz Propriedades:', matrizProps)
		print ('Matriz Estados:', matrizEstados, '\n')

		return True