This paper presents a morphological study on Arabic verb forms using deterministic finite state automata to analyze inflected verbs, including perfective and imperfective forms. It discusses the unique characteristics of Semitic morphology, such as non-concatenative merging of roots and patterns, and compares different Arabic morphological analyzers. The research highlights the need for a computational lexicon and the intricacies involved in verb conjugation, affixation, and the role of vocalic melodies in Arabic verbs.