The Warwick automatic groups software
نویسنده
چکیده
This paper provides a description of the algorithms employed by the Warwick Automata package for calculating the nite state automata associated with a short-lex automatic group. The aim is to provide an overview of the whole process, rather than concentrating on technical details, which have been already been published elsewhere. A number of related programs are also described.
منابع مشابه
ar X iv : m at h / 95 07 20 2 v 1 [ m at h . G R ] 1 3 Ju l 1 99 5 THE WARWICK AUTOMATIC GROUPS SOFTWARE
This paper provides a description of the algorithms employed by the Warwick Automata package for calculating the finite state automata associated with a short-lex automatic group. The aim is to provide an overview of the whole process, rather than concentrating on technical details, which have been already been published elsewhere. A number of related programs are also described.
متن کاملRelational Views for Program Comprehension
Relational Views for Program Comprehension Tim Jones, Warwick Allison, David Carrington {tsj, warwick, davec}@cs.uq.oz.au Software Verification Research Centre Department of Computer Science The University of Queensland Queensland, Australia 4072
متن کاملEffectiveness of Compassion Therapy on Self-coherence, Post-divorce Adjustment and Negative Automatic Thoughts in Divorced Women
Introduction: Divorce reduces the health of each couple, especially women and one of the treatment methods derived from the third wave of psychotherapy which about that has been done little research is compassion therapy. Therefore, present research aimed to determine the effectiveness of compassion therapy on self-coherence, post-divorce adjustment and negative automatic thoughts in divorced w...
متن کاملمقایسۀ کاربرد انواع روشهای ارزیابی دسترسپذیری وبسایتها مطالعۀ موردی: وبسایت وزارتخانههای دولت جمهوری اسلامی ایران)
Purpose: The present research aims to comparatively study different methods for evaluating the accessibility of websites and analyze the results of case study concerning websites of ministries of Iranian government, in order to indicate the strengths, weaknesses, and differences in evaluation findings by applying each of website accessibility methods. Methodology: In this paper, initially the ...
متن کاملA CAD System Framework for the Automatic Diagnosis and Annotation of Histological and Bone Marrow Images
Due to ever increasing of medical images data in the world’s medical centers and recent developments in hardware and technology of medical imaging, necessity of medical data software analysis is needed. Equipping medical science with intelligent tools in diagnosis and treatment of illnesses has resulted in reduction of physicians’ errors and physical and financial damages. In this article we pr...
متن کامل