State Switching in US Equity Index Returns based on SETAR Model with Kalman Filter Tracking

Similar documents
Lecture 9: Markov and Regime

Lecture 8: Markov and Regime

Chapter 6 Forecasting Volatility using Stochastic Volatility Model

Volatility Models and Their Applications

Cognitive Pattern Analysis Employing Neural Networks: Evidence from the Australian Capital Markets

List of tables List of boxes List of screenshots Preface to the third edition Acknowledgements

The University of Chicago, Booth School of Business Business 41202, Spring Quarter 2009, Mr. Ruey S. Tsay. Solutions to Final Exam

Introductory Econometrics for Finance

Intraday arbitrage opportunities of basis trading in current futures markets: an application of. the threshold autoregressive model.

Futures Trading Signal using an Adaptive Algorithm Technical Analysis Indicator, Adjustable Moving Average'

COGNITIVE LEARNING OF INTELLIGENCE SYSTEMS USING NEURAL NETWORKS: EVIDENCE FROM THE AUSTRALIAN CAPITAL MARKETS

Market Risk Analysis Volume II. Practical Financial Econometrics

HOW TO MAKE A PROFITABLE TRADING STRATEGY MORE PROFITABLE?

Dynamic Linkages between Newly Developed Islamic Equity Style Indices

Despite ongoing debate in the

COINTEGRATION AND MARKET EFFICIENCY: AN APPLICATION TO THE CANADIAN TREASURY BILL MARKET. Soo-Bin Park* Carleton University, Ottawa, Canada K1S 5B6

Examination on the Relationship between OVX and Crude Oil Price with Kalman Filter

Threshold volatility models: forecasting performance

Booth School of Business, University of Chicago Business 41202, Spring Quarter 2014, Mr. Ruey S. Tsay. Solutions to Midterm

ARCH Models and Financial Applications

Testing Weak Form Efficiency on the TSX. Stock Exchange

Subject CS2A Risk Modelling and Survival Analysis Core Principles

Equity Price Dynamics Before and After the Introduction of the Euro: A Note*

Empirical Study on Short-Term Prediction of Shanghai Composite Index Based on ARMA Model

A Note on the Oil Price Trend and GARCH Shocks

A Note on the Oil Price Trend and GARCH Shocks

DOES TECHNICAL ANALYSIS GENERATE SUPERIOR PROFITS? A STUDY OF KSE-100 INDEX USING SIMPLE MOVING AVERAGES (SMA)

Financial Econometrics Notes. Kevin Sheppard University of Oxford

Examining Capital Market Integration in Korea and Japan Using a Threshold Cointegration Model

The Random Walk Hypothesis in Emerging Stock Market-Evidence from Nonlinear Fourier Unit Root Test

Threshold cointegration and nonlinear adjustment between stock prices and dividends

Market Integration, Price Discovery, and Volatility in Agricultural Commodity Futures P.Ramasundaram* and Sendhil R**

Volume 35, Issue 1. Thai-Ha Le RMIT University (Vietnam Campus)

Assessing Regime Switching Equity Return Models

The Great Moderation Flattens Fat Tails: Disappearing Leptokurtosis

Journal of Economics and Financial Analysis, Vol:1, No:1 (2017) 1-13

An Agent-Based Simulation of Stock Market to Analyze the Influence of Trader Characteristics on Financial Market Phenomena

Corresponding author: Gregory C Chow,

Indian Institute of Management Calcutta. Working Paper Series. WPS No. 797 March Implied Volatility and Predictability of GARCH Models

Forecasting Volatility movements using Markov Switching Regimes. This paper uses Markov switching models to capture volatility dynamics in exchange

CFA Level II - LOS Changes

Estimating the Natural Rate of Unemployment in Hong Kong

EMPIRICAL STUDY ON RELATIONS BETWEEN MACROECONOMIC VARIABLES AND THE KOREAN STOCK PRICES: AN APPLICATION OF A VECTOR ERROR CORRECTION MODEL

Financial Time Series Analysis (FTSA)

Discussion of No-Arbitrage Near-Cointegrated VAR(p) Term Structure Models, Term Premia and GDP Growth by C. Jardet, A. Monfort and F.

INTERNATIONAL JOURNAL OF ADVANCED RESEARCH IN ENGINEERING AND TECHNOLOGY (IJARET)

The University of Chicago, Booth School of Business Business 41202, Spring Quarter 2012, Mr. Ruey S. Tsay. Solutions to Final Exam

The University of Chicago, Booth School of Business Business 41202, Spring Quarter 2017, Mr. Ruey S. Tsay. Solutions to Final Exam

INFORMATION EFFICIENCY HYPOTHESIS THE FINANCIAL VOLATILITY IN THE CZECH REPUBLIC CASE

Testing for efficient markets

A Markov switching regime model of the South African business cycle

Trends in currency s return

Simultaneous Use of X and R Charts for Positively Correlated Data for Medium Sample Size

A potentially useful approach to model nonlinearities in time series is to assume different behavior (structural break) in different subsamples

On modelling of electricity spot price

Oesterreichische Nationalbank. Eurosystem. Workshops. Proceedings of OeNB Workshops. Macroeconomic Models and Forecasts for Austria

Volatility Analysis of Nepalese Stock Market

Do core inflation measures help forecast inflation? Out-of-sample evidence from French data

Discussion of The Term Structure of Growth-at-Risk

CHAPTER 3 MA-FILTER BASED HYBRID ARIMA-ANN MODEL

An Empirical Comparison of Fast and Slow Stochastics

Hedging Derivative Securities with VIX Derivatives: A Discrete-Time -Arbitrage Approach

Booth School of Business, University of Chicago Business 41202, Spring Quarter 2016, Mr. Ruey S. Tsay. Solutions to Midterm

The relationship between output and unemployment in France and United Kingdom

Applied Econometrics and International Development. AEID.Vol. 5-3 (2005)

How High A Hedge Is High Enough? An Empirical Test of NZSE10 Futures.

Compartmentalising Gold Prices

Asset allocation under regime-switching models

Predicting RMB exchange rate out-ofsample: Can offshore markets beat random walk?

Volatility Clustering of Fine Wine Prices assuming Different Distributions

Using Sector Information with Linear Genetic Programming for Intraday Equity Price Trend Analysis

Statistical Models and Methods for Financial Markets

Forecasting Stock Index Futures Price Volatility: Linear vs. Nonlinear Models

Time series: Variance modelling

Asset Pricing under Information-processing Constraints

RISK-NEUTRAL VALUATION AND STATE SPACE FRAMEWORK. JEL Codes: C51, C61, C63, and G13

A Quantitative Metric to Validate Risk Models

Available online at ScienceDirect. Procedia Economics and Finance 32 ( 2015 ) Andreea Ro oiu a, *

Surasak Choedpasuporn College of Management, Mahidol University. 20 February Abstract

A Regime-Switching Relative Value Arbitrage Rule

No Predictable Components in G7 Stock Returns

CFA Level II - LOS Changes

Research Article The Volatility of the Index of Shanghai Stock Market Research Based on ARCH and Its Extended Forms

A Non-Random Walk Down Wall Street

Department of Economics Working Paper

Modeling Exchange Rate Volatility using APARCH Models

Statistical and Machine Learning Approach in Forex Prediction Based on Empirical Data

ARCH and GARCH models

Sectoral Analysis of the Demand for Real Money Balances in Pakistan

Can internet search queries help to predict stock market volatility?

Forecasting Volatility in the Chinese Stock Market under Model Uncertainty 1

Portfolio Theory Forward Testing

Keywords: China; Globalization; Rate of Return; Stock Markets; Time-varying parameter regression.

Final Exam. Consumption Dynamics: Theory and Evidence Spring, Answers

Modeling Volatility of Price of Some Selected Agricultural Products in Ethiopia: ARIMA-GARCH Applications

Putting the Econ into Econometrics

Experience with the Weighted Bootstrap in Testing for Unobserved Heterogeneity in Exponential and Weibull Duration Models

A Hidden Markov Model Approach to Information-Based Trading: Theory and Applications

Speculative Bubbles in Real Estate Market : Detection and Cycles

Does the Unemployment Invariance Hypothesis Hold for Canada?

Transcription:

State Switching in US Equity Index Returns based on SETAR Model with Kalman Filter Tracking Timothy Little, Xiao-Ping Zhang Dept. of Electrical and Computer Engineering Ryerson University 350 Victoria St, Toronto, ON, Canada, M5B 2K3 {tlittle,xzhang}@ee.ryerson.ca Fang Wang School of Business and Economics Wilfrid Laurier University Waterloo, ON, Canada N2L 3C5 fwang@wlu.ca Abstract This paper develops a new self-excited threshold autoregressive model (SETAR) for US equity Index returns modeling and analysis. First, a two regime switching model is formulated. The regime state is controlled by a simple piecewise function of lagged values from the time series itself. The hypothesis test is conduct to verify the statistical significance of two regimes in stock index returns. Then a new state space model with time-varying parameters is developed to model the market dynamics. The Kalman filter is used for model estimation and return prediction. Based on Kalman filter predication, a Finite State Machine (FSM) trading system based on the model predictions is presented as a practical application of the model. The effectiveness of this new model is illustrated for the DOW Jones Industrial Average (DJIA) and S&P 500 return series over a long period. Index Terms Self-excited threshold autoregressive model (SETAR), regime switching, Kalman filtering and tracking, market dynamic, finite state machine (FSM) trading systems I. INTRODUCTION The self-excited threshold autoregressive model (SETAR) was explored by Tong [1]. In the SETAR model the regime switching is controlled by a piecewise function of lagged values of the time series itself. The model developed in this thesis similarly uses a self-excited threshold function. Hanson explores the topic of threshold selection and model specification in [2]. Hansen [3] looks at the topic of inference in TAR models and testing for threshold co-integration in vector error correction models [4]. Asymmetry in stock returns was studied in Lam [5] and Li and Lam [6]. The results in [6] show that the conditional mean could depend significantly on the rise and fall of the market on the previous day. We studied this finding for the DOW Jones Industrial Average over a long period of time and came to the same conclusion. Numerous studies have attempted to establish the profitability of certain trading rules for a given dataset. Laurent demonstrated the predictive power candlestick chart patterns [7]. Brock et al.[8] demonstrated the effectiveness of a moving average rule based trading system for both in and out-of-sample testing. Andrew Lo [9] attempts to answer a more general question regarding the conditional return distributions dependent on detection of a predefined chart pattern and uses hypothesis testing to present statistical evidence that technical price patterns have some information content. Chong and Lam [10] test a trading system based on a SETAR model for equity returns in the US markets demonstrating strong performance. However, they use an AR model and do not deal with the nonstationarity of the return series. Finite state machines for gambling decision making are developed by Feder [11]. The decision making process involves determining the optimal bet sizing given the state of a system and can be used to construct the trading strategy. In this paper, we develop a new trading system based on a regime switching model or returns but we allow timevarying parameters and use the Kalman filter [12] for parameter tracking in SETAR of traditional AR models. First, a two regime switching model is formulated. The regime state is controlled by a simple piecewise function of lagged values from the time series itself. The hypothesis test is conduct to verify the statistical significance of two regimes in stock index returns. Then a new state space model with time-varying parameters is developed to model the market dynamics. The Kalman filter is used for model estimation and return prediction. Based on Kalman filter predication, a Finite State Machine (FSM) trading system based on the model predictions is presented as a practical application of the model. The numerical results show that the new model has better MSE model fit than other models. The effectiveness of this new model is illustrated for the DOW Jones Industrial Average (DJIA) return series over a long period from 1928 to 2012 as well as S&P 500 index from 1950 to 2012. II. GENERAL SETAR MODEL SPECIFICATION A. Threshold autoregressive model The formal specification of the threshold autoregressive model (TAR) [1] is in the family of state-dependent models. The state-switching is controlled by a threshold function that depends on observable endogenous or exogenous variables. The state is therefore observable. One of the simplest TAR models is the self-exciting threshold autoregressive. In this 978-1-4799-7591-4/15/$31.00 2015 IEEE 1

case, the threshold function is based on lagged values of the time-series itself. The threshold function is a piecewise constant function for an arbitrary number of states n: 1, if r t 1 <γ 1 2, if r t 1 γ 1 AND r t 1 <γ 2 s t = (1)... n, if r t 1 γ n 1, where r t 1 is the net return of the previous day, the set γ 1,γ 2,..., γ n 1 are the threshold values and the value of s t represents the state or regime. When applied to an input series, the threshold function creates n groups of observations. At different states/regimes, an AR model is specified to construct a TAR model. B. Conditional Mean Returns Over Time To justify the use of a threshold model for the DJIA return series, we examine the returns conditional on the sign of the previous day s return. In this case, the states of the model can be defined by the threshold function s t : 0, if r t 1 < 0 s t = (2) 1, if r t 1 0. The threshold function divides the set of returns into two groups. For a two state model the conditional probability density functions are given by f r (r s t =0)and f r (r s t =1). To verify that the two groups are statistically different we compare the returns conditional on the state. The hypothesis test is stated as follows: H 0 : f r (r s t =0)and f r (r s t =1)have equal means H 1 : f r (r s t =0)and f r (r s t =1)have different means The data is divided into groups of consecutive 2000 point intervals. This size of interval was used because we wanted to examine the behaviour over time while keeping a large number of points in each interval for hypothesis testing. Each period is labelled P i for i =1to i =11for the DOW Jones dataset as P i = {r 2000(i 1)+1,r 2000i }. (3) The threshold function defined by s t is then used to classify the samples into two conditional distributions for each sub-period. We compare the mean values of the two groups by performing Welch s t-test for each set of points. The purpose of this analysis is twofold, we will verify if the observed asymmetry of returns is persistent over time and determine if the model parameters may vary over time. The results of this test are displayed in Table I. The table compares the mean returns, E(r t s t =0)and E(r t s t =1) for the two regimes in each sub-period and provides results of the hypothesis test comparing the means of the two samples. All returns are expressed in percentage terms. TABLE I STATE DEPENDENT RETURNS BY SUB PERIODS Period E(r t) E(r t s t =1) E(r t s t =0) p-value 1-0.0155-0.1078 0.085 0.05438 2-0.0083 0.0939-0.116 0.00005 3 0.0302 0.1215-0.075 0.00005 4 0.0391 0.1341-0.079 0.00000 5 0.0227 0.1154-0.081 0.00000 6 0.0024 0.1878-0.175 0.00000 7 0.0107 0.0555-0.035 0.02326 8 0.0509 0.0932 0.002 0.08687 9 0.0575 0.1026 0.005 0.01990 10 0.0087-0.0413 0.063 0.02701 11 0.0013-0.1171 0.141 0.01793 III. TWO REGIME MODEL OF RETURNS The state dependent returns by sub-period demonstrate a mean asymmetry between the two groups of returns is persistent over the sub periods studied. As can be seen from Table I, in nine out of eleven test periods, the hypothesis test yields 95 percent confidence the two samples are in fact different (H 0 is rejected). In eleven out of eleven test periods, the hypothesis test yields 90 percent confidence the two samples are different. That is to say, our regime formulation represented by (2) does contain information and therefore justified. The empirical results suggest that the observed return asymmetry is persistent over time but the expected returns within each state may vary over time. As a consequence of these findings, we employ a two state model with timevarying parameters. Our model with time varying drift is stated as follows: { φ 0,t + ɛ 0,t, if r t 1 < 0 r t = (4) φ 1,t + ɛ 1,t, if r t 1 0. The values of the parameters φ 0,t and φ 1,t, representing the expected mean returns in different states, respectively. They vary with time and ɛ t is an IID Gaussian noise process. IV. KALMAN FILTERING FOR TIME-VARYING PARAMETER ESTIMATION The Kalman filter is a recursive algorithm that can be used to optimally estimate parameters under the assumption of Gaussian noise. From the analysis presented in this paper we have established that the parameters of the model likely vary over time. In order to apply the Kalman filter to this problem we will need to specify a process that determines the time evolution of the parameters to be estimated. We choose the random walk process, i.e., an AR(1) process, for the parameters φ 0,t and φ 1,t with process equations given by φ 0,t = φ 0,t 1 + w t φ 1,t = φ 1,t 1 + v t. (5) 2

The general state equation can then be formulated as where F t = x t = F t x t 1 + M t η t, (6) [ ] 1 0, M 0 1 t = [ ] 1 0. (7) 0 1 The state vector defines the parameters to be estimated. The state vector for our model is given by The process noise vector is given by x t = [ φ 0,t φ 1,t. (8) η t = [ w t v t. (9) The process noise terms, w t and v t are assumed to be zero mean IID Gaussian noise. Since we want to track the parameters we prefer to make few assumptions regarding the process by which the parameters evolve and use the simple random walk process. We assume the observation noise ɛ t is the same for both states and is an IID Gaussian process with zero mean. The standard SETAR model allows the observation noise variance to change depending on the state. By assuming the noise variance is the same for both states, we can use a single observation equation to estimate both state parameters simultaneously. We do this by including the state information in the observation vector. Our observation equation is given by r t = φ 0,t +(φ 1,t φ 0,t )s t + ɛ t. (10) The state switching is controlled by s t. The general Kalman filter observation equation is r t = A T t x t + ɛ t. (11) The observation vector A t for our model is A t = [ 1 s t s t. (12) V. FINITE STATE MACHINE A finite-state machine is an abstract machine that can be in one of a finite number of states [13]. The machine is in only one state at a time. The state at any given time is called the current state. It can change from one state to another when initiated by a triggering event or condition, this is called a transition. A particular FSM is defined by a list of its states, and the triggering condition for each transition. The finite state machine developed here is based on our two state model with Kalman filter parameter tracking. The Kalman filter provides us with one step-ahead forecast. The forecasts are used to make investment decisions. When the expected return predicted by the model is positive, we invest, when negative, we hold cash. To represent these trading actions as a FSM we use only two states: a Buy state and a Sell state. Buy State (s t =0AND E(r t s t =0) 0) OR (s t =1AND E(r t s t =1) 0) Sell State (s t =0AND E(r t s t =0)< 0) OR (s t =1AND E(r t s t =1) 0) State transitions are triggered when a new observation r t is received. We then evaluate s t and use a Kalman filter to predict E(r t s t =0)and E(r t s t =1). We use these values to find the current trading state, either BUY or SELL. Trading actions are associated with entry and exit from the two states. The trading logic is implemented simply using the twostate FSM. In the two state FSM, when entering the Buy State, the trading decision Buy Index is made. When entering the Sell State, the trading decision Sell Index is made. State transitions are triggered by the predictions of our model and the state of the system. We perform rational trading actions given the state and the expected return given that state. VI. EMPIRICAL RESULTS A. Results for DOW Dataset We evaluate the dynamic model by comparing the mean squared prediction error (MSE) of returns to the simpler twostate model with static coefficients estimated from the entire sample. If the Kalman filter tracking is effective, allowing for time-varying parameters should produce a better model fit than using static parameters in a similar model. By comparing the MSE for each model we find that the performance of the time-varying model with Kalman filter estimation is superior to similar models with static parameters. While the predictions of the best static parameter two state model have a MSE of 1.3539, the dynamic model with Kalman filter tracking has a MSE of 1.3490, a significant improvement over the static model. In [10], the authors use a SETAR model with two-regimes with an AR(1) model in each regime. They use a rolling window technique to allow for time-varying parameters and test a trading system based on the results. They take a different approach to attempt to capture time varying returns use a rolling window estimation method. The rolling window technique uses the past w observations to estimate the model parameters, updated estimates are calculated with each new data point. It is a simple method of adding dynamic behaviour to the parameters of a model. We tested this model for four different window lengths w = 50, 100, 150 and 200. The best model resulted for a window length of w = 200. 3

Unfortunately, this method was unable to beat the one-state random walk with drift model. The MSE for the two state SETAR model with AR order 1 and window length w = 200 was 1.4977 which is considerably worse than the random walk with drift model. The success of the Kalman filter technique employed in this paper provides evidence to support the use of time varying coefficients in our model. Table II compares model fit for five models considered in this thesis for percentage returns. TABLE II MODEL FIT COMPARISON Model Estimation Parameter Type MSE 2 State AR(1) Rolling Window Dynamic 1.4977 1 State AR(0) Least Squares Static 1.3565 (Price Random Walk) 2 State AR(0) Least Squares Static 1.3539 2 State AR(1) Least Squares Static 1.3534 2 State AR(1) Kalman Filter Dynamic 1.3490 B. Trading System Results DJIA We implement the FSM described in the previous section for DOW Index data from January 1928 to July 2012. Our results indicate exceptional performance for the trading system over the period studied. We assume a frictionless market with zero transaction costs and slippage. In a practical trading application, these costs would be significant and would reduce the cumulative returns of the strategy significantly. We implement two different trading systems to compare the results for our market timing strategy. The benchmark strategy is the simple buy and hold strategy employed by long term investors. The investor buys the DOW Jones Industrial Average at the beginning of the dataset and sells at the end. Over the same period, we evaluate the performance of our FSM trading machine based on the two-regime model with time-varying parameters tracked by the Kalman filter. In this trading system, we only execute a trading when there is a regime/state change, i.e., we alternate between cash and index security according to SELL and BUY states, respectively. The results show grossly superior performance for the dynamic model with Kalman filter parameter tracking compared to Buy and Hold and static AR models. Table III compares the daily return, number of days invested and cumulative return for each of different strategies. Similar performance is observed for the S&P 500 daily returns time-series from 1950 to 2012, shown in Table IV. Fig. 1 plots the cumulative returns of the FSM trading system versus a buy and hold strategy, as well as 2 state AR(1) static model over the same period. What is remarkable is that the system invests just over half of the days from a series of returns with a positive expected value and dramatically outperforms the passive buy and hold TABLE III KALMAN FILTER TRADING SYSTEM RESULTS DOW Strategy Daily Return Days Total Return FSM System 0.081% 11,799 1,669,000% Two State 0.067% 10,988 152,700% AR(1)-Static BUY and HOLD 0.019% 20,934 5,376% TABLE IV KALMAN FILTER TRADING SYSTEM RESULTS S&P 500 Strategy Daily Return Days Total Return FSM System 0.0858% 9,399 317,140% Two State 0.0863% 8,387 139,180% AR(1)-Static BUY and HOLD 0.028% 15,633 8,079% strategy. This demonstrates the effectiveness of this system in identifying trading opportunities with positive expected returns. The returns could be increased further by investing in a short term government bonds instead of cash when not in the market. Note that transaction costs are significant and will have a negative impact on the performance of this strategy. Fig. 1. Capital Growth Over Time DOW Jones VII. CONCLUSION This paper presents a new two state regime switching Kalman filtering model for US stock market with related finite state machine based trading strategy. Empirical justifications are provided for the two state model through hypothesis tests and model fit errors. Time varying behaviour is captured using dynamic parameters and the Kalman filter for parameter estimation. We demonstrate exceptional investment performance using the proposed FSM trading strategy based on the predictions of the model compared to existing models. 4

REFERENCES [1] H. Tong, Threshold Models in Non-Linear Time Series Analysis, Number ISBN: 0387909184. Springer, New York, 1983. [2] E.B. Hansen, Inference When a Nuissance Parameter is not Identified Under the Null Hypothesis, Econometrica, vol. 64, pp. 413 430, 1996. [3] E.B. Hansen, Inference in Tar Models, Studies in Non-Linear Dynamics and Econometrics, vol. 2, pp. 1 14, 1997. [4] E.B. Hansen and B. Seo, Testing for Two-Regime Threshold Cointegration in Vector Error Correction Models, Journal of Econometrics, vol. 110, pp. 293 318, 2002. [5] P. Wong W. Li and K. Lam, Price Changes and Trading Volume Relationship in the Hong Kong Stock Market, Asia Pacific Journal of Management, vol. 7, pp. 25 42, 1990. [6] W.K. Li and K. Lam, Modelling Asymmetry in Stock Returns by a Threshold ARCH Model, The Statistician, vol. 44, pp. 333 341, 1995. [7] G. Caginal and H. Laurent, The Predictive Power of Price Patterns, Applied Mathematical Finance, vol. 5, pp. 181 205, 1998. [8] W. Brock, J. Lakonishok, and B. LeBaron, Simple Technical Trading Rules and the Stochastic Properties of Stock Returns, Journal of Finance, vol. 47, pp. 1731 1764, 1992. [9] A. Lo, Foundations of Technical Analysis: Computational Algorithms, Statistical Inference, and Empirical Implementation, Journal of Finance, vol. 55, no. 4, pp. 1705 1764, 2000. [10.L. Chong,, and T. Lam, Predictability of Nonlinear Trading Rules in the US Stock Market, Quantitative Finance, vol. 10, no. 9, pp. 1067 1076, 2010. [11] M. Feder, Gambling Using a Finite State Machine, IEEE Transactions on Information Theory, vol. 37, no. 5, pp. 1459 1465, 1991. [12] R. Kalman, A New Approach to Linear Filtering and Prediction Problems, Transactions of the ASME Journal of Basic Engineering, vol. 82, no. Series D, pp. 35 45, 1960. [13.L. Booth, Sequential Machines and Automata Theory, John WIley and Sons, New York, 1 edition, 1967. 5