GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email: callcentre@csir.co.za

Browsing by Subject "Automata"

Sort by: Order: Results:

  • Marais, Laurette; Van Zijl, L (Open Publishing Association, 2017-09)
    Previously, self-verifying symmetric difference automata were defined and a tight bound of 2^n-1-1 was shown for state complexity in the unary case. We now consider the non-unary case and show that, for every n at least ...
  • Ngassam, EK; Kourie, DG; Watson, BW (Association for Computing Machinery, 2010-10)
    Previous work on implementations of FA-based string recognizers suggested a range of implementation strategies (and therefore, algorithms) aiming at improving their performance for fast string recognition. However, an ...
  • Seotsanyana, M (Defence Scientific Information & Documentation Centre (DESIDOC), 2010-01)
    In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, ...