Information and Communication Technology for Special Education: Application of Artificial Intelligence Techniques, Theory of Automata and Software Development for Special Education