I'm a bit confused about these topics. I already studied combinational systems, and went for Karnaugh Maps and Quine McCluskey methods, so now I studied sequential systems and I'm supposed to study the equivalent methods which are actually related to Finite Machine States.
I read some about tabular method, and partitions in one book. Also, I read that Karnaugh Maps can be also used... And even I think it's possible to generate Finite State Machine in both Moore and Mealy models?
I really need to understand this but I'm confused cause the bibliography at my reach is not consistent and some are related to the higher lever computer science view.