Automate-header/Automate.hpp at master · Idriss975/Automate-header · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
#pragma once

/*
*		    ___         __                        __
*	      /   | __  __/ /_____  ____ ___  ____ _/ /____
*  		 / /| |/ / / / __/ __ \/ __ `__ \/ __ `/ __/ _ \
* 		/ ___ / /_/ / /_/ /_/ / / / / / / /_/ / /_/  __/
*	   /_/  |_\__,_/\__/\____/_/ /_/ /_/\__,_/\__/\___/
*
*		https://github.com/Idriss975/Automate-header
*/

#include <vector>
#include <string>
#include <ostream>

class Automate {
	/// @brief vector of alphabets in automata
	std::vector<char> Alphabet;
	/// @brief vector of states in automata
	std::vector<int> Etats;
	/// @brief initial state
	int Etat_I;
	/// @brief vetor of final states
	std::vector<int> Etat_F;
	/// @brief Transaction table (Matrix format)
	std::vector<std::vector<int>> Tab_Tr;

public:
	Automate() = default;
	/// @brief Automata Constructor
	/// @param A vector of alphabets in utomata
	/// @param E vector of states
	/// @param EI initial state
	/// @param EF final state
	/// @param TT List of transactions (Matrix format)
	Automate(std::vector<char> A, std::vector<int> E, int EI, std::vector<int> EF, std::vector<std::vector<int>> TT);

	/// @brief getter for initial state
	/// @return initial state of automata
	int Get_q0() const;
	/// @brief getter for final state
	/// @return Final state of automata
	std::string Get_Etat_Final() const;
	/// @brief Lists Alphabets
	/// @return Alphabets of automata
	std::string Get_Alphabets() const;
	/// @brief Lists states
	/// @return states of automata
	std::string Get_Etats() const;
	/// @brief Lists Transitions in a Matrix format
	/// @return transitions (-1 if no transition)
	std::string Get_Transitions() const;
	/// @brief Shows next State based on transition from alphabet and beginning state
	/// @param EtatD Starting state
	/// @param sysm Alphabet
	/// @return Next state (-1 if no transition exist)
	int Existe_Trans(int EtatD, char sysm) const;
	/// @brief check if state is final state
	/// @param E state
	/// @return bool if final state
	bool isFinalState(int E) const;
	/// @brief Check if message is valid with the automate
	/// @param m message
	/// @return true if message is valid
	bool isValidMessage(std::string m) const;

	Automate Complement();
};

std::ostream& operator<<(std::ostream& O, const Automate& A);