On minimal realization of IF-languages: A categorical approach
نویسندگان
1 Department of Mathematics, National Institute of Technology, Jamshedpur-831014, Jharkhand, India
2 Department of Applied Mathematics, Indian School of Mines, Dhanbad- 826004, Jharkhand, India
3 Department of Applied Mathematics, Indian School of Mines, Dhanbad- 826004, Jharkhand, India
doi
10.22111/ijfs.2016.2427چکیده
he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and IF-languages alongwith a functorial relationship between them are introduced
