A073057 Start with the word 1234, repeatedly append the words obtained via the maps 1 -> 12, 2 -> 13, 3 -> 42, 4 -> 43.

1, 2, 3, 4, 1, 2, 1, 3, 4, 2, 4, 3, 1, 2, 1, 3, 4, 2, 4, 3, 1, 2, 1, 3, 1, 2, 4, 2, 4, 3, 1, 3, 4, 3, 4, 2, 1, 2, 1, 3, 4, 2, 4, 3, 1, 2, 1, 3, 1, 2, 4, 2, 4, 3, 1, 3, 4, 3, 4, 2, 1, 2, 1, 3, 1, 2, 4, 2, 4, 3, 1, 3, 4, 3, 4, 2, 1, 2, 1, 3, 1, 2, 4, 2, 1, 2, 1, 3, 4, 3, 1, 3, 4, 3, 4, 2, 1, 2, 4, 2, 4, 3, 4, 2, 4

Offset

1,2

Comments

Fixed point of the morphism 1 -> 12, 2 -> 13, 3 -> 42, 4 ->43, starting from a(1-4) = 1234. - Robert G. Wilson v, Apr 02 2009 [not quite correct, see name, Joerg Arndt, Feb 27 2018]

Links

Vincenzo Librandi, Table of n, a(n) for n = 1..2900

Scott Balchin and Dan Rust, Computations for Symbolic Substitutions, Journal of Integer Sequences, Vol. 20 (2017), Article 17.4.1.

Kevin Ryde, PARI/GP Code and Notes.

Example

The first step takes {1,2,3,4} to {1,2,3,4, 1,2, 1,3, 4,2, 4,3}.
The next takes this to {1,2,3,4,1,2,1,3,4,2,4,3, 1,2, 1,3, 4,2, 4,3, 1,2, 1,3, 1,2, 4,2, 4,3, 1,3, 4,3, 4,2}

Mathematica

Nest[ Flatten[ Join[ #, # /. {1 -> {1, 2}, 2 -> {1, 3}, 3 -> {4, 2}, 4 -> {4, 3}}]] &, {1, 2, 3, 4}, 3] (* Robert G. Wilson v, Apr 02 2009 *)

Prog

(PARI) See links.

Crossrefs

Cf. A100260 (morphism as 0..3).

Cf. A020987, A073058.

Sequence in context: A195451 A298160 A118310 * A084310 A214063 A078978

Adjacent sequences: A073054 A073055 A073056 * A073058 A073059 A073060

Keyword

nonn

Author

Roger L. Bagula, Aug 16 2002

Extensions

New name using a (corrected) comment by Robert G. Wilson from Joerg Arndt, Feb 27 2018

Status

approved