is infinite.

The bounded configuration problem is undecidable.

This is shown by a reduction from the *mortality problem* which amounts to deciding if a Turing machine has an infinite computation. Note that this is different from the halting problem, because we ask if the machine halts on *all* possible configurations. This problem was shown to be undecidable in [@Hooper66 p. 226] for Turing machines and in [@KariO08 Thm. 7] for *reversible* Turing machines.

Assume that the bounded configuration problem is decidable. Given a reversible machine $M$, if is has a computation visiting an infinite number of configurations, then it has an infinite computation. If there is no computation visiting an infinite number of distinct configurations then there is a uniform bound on the number of configurations that a computation can visit. This bound $k$ can be computed, just by simulating the machine on larger and larger configurations. Then, on can easily see if one of the computations loops, and thus decide if the machine has an infinite computation.

[^1]: The equivalence kernel of a total function $f$ is defined by $x\sim y \Leftrightarrow f(x)=f(y)$
 ---
abstract: 'Within the Glauber formalism and a BUU transport model we analyze the $\eta$-photoproduction data from nuclei and evaluate the in-medium $\eta N$ cross section. Our results indicate that the $\eta N$ cross section is almost independent of the $\eta$ energy up to 200 MeV.'
author:
- |
    M. Effenberger and A. Sibirtsev\
    Institut für Theoretische Physik, Universität Giessen\
    D-35392 Giessen, Germany
date:  
title: 'The energy dependence of the in-medium $\eta N$ cross section evaluated from $\eta$-photoproduction [^1]'
---

=-10mm

Introduction
============

For a long time $\eta$-meson production in nuclei has been of interest as a source of information about the $\eta$-nucleus final state interaction. The present knowledge about the $\eta N$ interaction even in the vacuum comes from either simple analysis of the inverse $\pi N \to \eta N$ reaction or as a free parameter fitted to experimental data by theoretical calculations [@Liu; @Wilkin; @Chiavassa
is infinite. 

 The bounded configuration problem is undecidable. 

 This is testify by a decrease from the * mortality problem * which come to decide if a Turing machine has an countless computation. Note that this is different from the halting trouble, because we necessitate if the machine halts on * all * potential configurations. This problem was testify to be undecidable in [ @Hooper66 p.   226 ] for Turing machines and in [ @KariO08 Thm.   7 ] for * reversible * Turing machines. 

 Assume that the bounded configuration problem is decidable. contribute a reversible machine $ M$, if is has a computation visit an infinite number of configurations, then it has an countless computation. If there exist no computation visiting an infinite numeral of distinct configurations then there is a uniform bound on the number of configurations that a computation can visit. This bound $ k$ can be computed, just by simulating the machine on larger and larger configurations. Then, on can easily attend if one of the computations loops, and therefore decide if the car has an infinite computation. 

 [ ^1 ]: The equivalence kernel of a entire function $ f$ is defined by $ x\sim y \Leftrightarrow f(x)=f(y)$ 
  --- 
 abstract:' Within the Glauber formalism and a BUU transport model we analyze the $ \eta$-photoproduction datum from nuclei and evaluate the in - medium $ \eta N$ cross section. Our results indicate that the $ \eta N$ cross section is almost independent of the $ \eta$ energy up to 200 MeV.' 
 writer: 
 - | 
     M. Effenberger and A. Sibirtsev\ 
     Institut für Theoretische Physik, Universität Giessen\ 
     D-35392 Giessen, Germany 
 date:  
 title:' The department of energy addiction of the in - culture medium $ \eta N$ cross section evaluated from $ \eta$-photoproduction [ ^1 ]' 
 --- 

 = -10 millimeter 

 Introduction 
 = = = = = = = = = = = = 

 For a long time $ \eta$-meson production in nuclei has been of interest as a source of information about the $ \eta$-nucleus final state interaction. The present cognition about the $ \eta N$ interaction even in the vacuum comes from either simple analysis of the inverse $ \pi N \to \eta N$ reaction or as a complimentary parameter match to experimental data by theoretical calculation   [ @Liu; @Wilkin; @Chiavassa
is lnfinite.

The bounded conflguration problem is unvecidabme.

This ir shown by a reduction from vhe *nortaoity problem* which amojnts to dvciding id a Uuring machine has an influite dlmpucavion. Note that jhis is diffarent from the hxlcing problem, because we ask if the mwchine napts on *all* posfiblt cjnfiflrctions. This problem was shown tk be unvecidable in [@Hopper66 p. 226] for Turing machines and in [@KariO08 Thm. 7] for *geversible* Jhrigt machines.

Asrume that uhz bounded cknfiguration problem is decidabue. Giren a reverwivle kachine $M$, ih is hws a computabpon vishting am infinite numner oh cobfigurations, then it ias an infinite compotation. If tkere is no computatiob cisithng dn ivdinkte nnmbsr of fisvinct confifurations tyen there is a unifpri bound on the numbew jf configurations that a computation cat vjsit. This bound $k$ can bw computed, just by silulating ehe machine on larger and larger configurations. Tven, oi zan ewrulj see if one of the computations loops, and thta cebide if the machike has an infinite clmlotation.

[^1]: The eqoivalenes iernel of a total vunctiog $f$ iw defined by $c\sim y \Leftrightarrow f(x)=f(y)$
 ---
qbstract: 'Witkin the Glauber formapism and a YUU trsnspott model we analyze the $\eta$-lhotoproduchion data wrom nuclei and dvakudte the in-medium $\eta N$ crofs sectioi. Our resultr incicate that the $\fta N$ cross section is apmost itdependent of the $\eta$ energy up to 200 MeV.'
auvior:
- |
    M. Effgnbargvr and A. Fibirbsev\
    Institue für Theoretisehe Physnk, Unixersität Givssen\
    V-35392 Giessen, Gewmany
date:  
tidpe: 'The energb dependegce if tye in-meakum $\eta N$ crosx section evaluated from $\eta$-photoprodmctiov [^1]'
---

=-10mm

Introduction
============

Yut a long time $\eya$-mdsog irovuctijt in nuclei vas ceev of ivterest as c rourve of information abmut fhe $\eta$-nucleus finsl state ibteractijn. The preseny knowledge about uhe $\ete N$ inveractoon even in the vacuum comes from either slmpje analysis jf tme igverse $\pi U \to \eta N$ reaction or as a free parametxr fitted to experimenjal data by theoreticcl calculatiois [@Liu; @Rilkin; @Chhavassa
is infinite. The bounded configuration problem is is by a from the *mortality if Turing machine has infinite computation. Note this is different from the halting because we ask if the machine halts on *all* possible configurations. This problem shown to be undecidable in [@Hooper66 p. 226] for Turing machines and in Thm. for Turing Assume that the bounded configuration problem is decidable. Given a reversible machine $M$, if is has computation visiting an infinite number of configurations, then has an infinite computation. there is no computation visiting infinite of distinct then is uniform bound on number of configurations that a computation can visit. This bound $k$ can be computed, just by simulating machine on larger configurations. on easily if one of loops, and thus decide if the infinite computation. [^1]: The equivalence kernel of a function $f$ defined by $x\sim y \Leftrightarrow f(x)=f(y)$ abstract: 'Within the Glauber formalism and a BUU model we analyze the $\eta$-photoproduction data from nuclei and evaluate the in-medium $\eta N$ cross results indicate that the N$ cross section almost of $\eta$ up to MeV.' author: - | M. Effenberger and A. Sibirtsev\ Institut für Physik, Universität Giessen\ D-35392 Giessen, Germany date: title: 'The energy the $\eta N$ cross evaluated from $\eta$-photoproduction [^1]' =-10mm ============ For a long production nuclei interest a of information about the final state interaction. The present about the $\eta N$ comes from either simple analysis of the inverse N \to \eta N$ reaction or as free parameter fitted to experimental data by theoretical calculations [@Liu; @Wilkin; @Chiavassa
is infinite.

The bounded confiGuration prOblem Is uNdeCiDablE.

ThiS is shown by a redUCtioN from the *mortality problEm* whiCh AMounTS tO deciDing if a tUrING maChInE haS aN InFinitE coMputatiOn. Note that ThiS iS different frOM tHe halting pRobLem, because we Ask If the mAcHinE Halts On *aLl* posSible cONfigurAtions. ThiS pROblem wAS shown tO BE uNdecIdable in [@Hooper66 p. 226] foR tuRIng machines and In [@Kario08 THM. 7] fOR *RevErsIble* Turing MaChineS.

assume tHAt THE BouNDed configuratIon problem iS DecIdable. giVen A ReversIble mAcHIne $m$, if is has a coMputAtion visiTing an INfinite NUmber of ConfigUraTioNs, thEN iT hAs aN iNFinITe ComPUtaTion. If thErE iS no coMputATION visItiNg an InfinIte number of diStiNct cONfiGuratIons tHen tHeRe is a UniforM bounD oN the number of conFiguRations thAt a CoMpuTaTion cAN visit. thiS boUnd $k$ can Be compuTEd, jUsT BY SiMulating the machine On LARgEr and larGer conFIgUrATions. TheN, oN caN easILY see iF one OF tHe computAtions LOoPs, And thus DeCide if ThE maChiNe has AN infInite cOmputatiOn.

[^1]: The EQuivalence kernEL of a total funcTIoN $F$ Is DEfinEd bY $x\sim y \LeftrIghtARrow F(x)=f(y)$
 ---
ABsTraCT: 'WithIn the glAUbER formalism and a BUU trAnSport mOdel wE analyze the $\etA$-photoprodUCTIon data fRom nUClEI and evaluate thE in-meDium $\eta N$ crOSs sectioN. Our rEsults inDicate thaT THe $\eta N$ crOss SecTioN is ALMoSt independent OF The $\eTa$ Energy uP to 200 meV.'
authOr:
- |
    M. effEnbErgEr And A. SibirTsev\
    InstItUt FüR THeoRetisCHe Physik, unIveRsItäT GiesSEn\
    D-35392 GieSsen, GErmaNy
DaTE:  
tiTle: 'The eNErGY DepeNdEnCe of The In-MediuM $\eta n$ CroSs sectiOn evaluatEd fROm $\etA$-pHoToproduCtion [^1]'
---

=-10mm

IntrodUcTion
============

For a loNg TimE $\eta$-meSON productIon in nuclei has been of intERest as a SouRce of InfoRmation abOut The $\eta$-NucLEus finAl statE inteRaCtiON. the prESEnT knOwLedge about THE $\etA N$ intErActiOn even iN the vacuum comes froM EitHer simple analYsiS of tHE InVerSE $\pI n \to \EtA n$ reACTion or as a free paRameter fitTeD To ExperimentAL daTa By theorEtical cAlculATions [@LiU; @Wilkin; @ChIavassa
is infinite.

The boundedconfigurat ion p rob lem  i s un deci dable.

This i s  sho wn by a reduction from  the*m o rtal i ty  prob lem* wh i ch a mou nt stode c id ing i f a  Turing  machine h asan  infinite co m pu tation. No tethat this is  di fferen tfro m  thehal tingproble m , beca use we as ki f them achineh a lt s on  *all* possible c o nf i gurations. Thi s prob le m  w a s  sh own  to be und ec idabl e  in [@H o op e r 6 6 p .  226] for Tur ing machine s  an d in [ @K ari O 08 Thm . 7]fo r  *r eversible*Turi ng machin es.

A s sume th a t the b ounded  co nfi gura t io npro bl e m i s  d eci d abl e. Given  a  r evers ible m a c hine  $M $, i f ishas a computa tio n vi s iti ng an  infi nite  n umber  of co nfigu ra tions, then ithasan infini teco mpu ta tion. If the reisno comp utation vis it i n g  a n infinite numberof d is tinct co nfigur a ti on s  then th er e i s au n iform  bou n don the n umbero fco nfigura ti ons th at  acom putat i on c an vis it. This  boun d  $k$ can be co m puted, just b y  s i m ul a ting  th e machine o n la r gerandl ar ger confi gurat io n s. Then, on can easily  s ee ifone o f the computa tions loop s , and thus  dec i de if the machine  hasan infinit e  computa tion. 

[^1]:The equiv a l ence ker nel  of  atot a l  f unction $f$ i s defi ne d by $x \si m y \Le ftr igh tar row  f (x)=f(y)$ 
 ---
ab st ra ct :'Wi thint he Glaub er  fo rm ali sm an d  a BUU  tran spor tmo d elwe anal y ze t he $ \e ta $-ph oto pr oduct iond ata  from n uclei and  ev a luat eth e in-me dium $\eta N$  c ross secti on . O ur res u l ts indic ate that the $\eta N$ c r oss sec tio n isalmo st indepe nde nt ofthe $\eta$  energ y upto  20 0 MeV.' a ut hor :- |
    M. E ffe nberg er  and  A. Sib irtsev\
    Instit u t f ür Theoretisc hePhys i k ,Uni v er s itä tG ies s e n\
    D-35392Giessen, G er m an y
date:  t itl e:  'The e nergy d epend e nce ofthe in-me dium $\et aN$ c r o sssection ev aluatedfrom $\et a $-pho t op roduc tio n [^1] '--- 

=-1 0mm

I n tro ducti on
=== == ====== =

Fo ra long t ime $\eta$-meson produc tion i n nuc lei  has been  of int erest asa so urce of in for mat ion a bou t  the$\et a $- nuc l eus f inal state int e ra cti o n .The present k n owl edgeabo u t the$\et a N$ interactione ven in the vac uumc o mes  fr o m ei th er simple anal ysi so f  the inv er se $\pi N \ to \etaN$ react ion or  as afree pa r a me t er fit tedtoexperimen tal  d a ta by t he or e ticalcalc ul ations  [@Liu ;  @Wi l k in; @Chiavassa
is infinite.

The_bounded configuration_problem is undecidable.

This is_shown by_a_reduction from_the_*mortality problem* which_amounts to deciding_if a Turing machine_has an infinite_computation._Note that this is different from the halting problem, because we ask if the_machine_halts on_*all*_possible_configurations. This problem was shown_to be undecidable in [@Hooper66_p. 226] for_Turing machines and in [@KariO08 Thm. 7] for *reversible*_Turing_machines.

Assume that the_bounded configuration problem is decidable. Given a reversible machine_$M$, if is has a computation_visiting an infinite_number_of_configurations, then it has_an infinite computation. If there is_no computation visiting an infinite number_of distinct configurations then there is a_uniform bound on the number of_configurations that a computation can_visit. This_bound $k$ can be computed,_just by simulating_the machine_on larger and_larger configurations. Then, on can easily_see if one_of the computations loops, and thus_decide_if the machine_has_an_infinite computation.

[^1]:_The equivalence kernel_of_a total_function_$f$ is defined by $x\sim y_\Leftrightarrow_f(x)=f(y)$
 ---
abstract: 'Within the Glauber formalism and_a BUU transport model_we_analyze the $\eta$-photoproduction data_from nuclei and evaluate the_in-medium $\eta N$ cross section. Our_results indicate_that the_$\eta N$ cross section is almost independent of the $\eta$ energy_up to 200 MeV.'
author:
- |
 _  M. Effenberger_and A._Sibirtsev\
_  _Institut_für Theoretische_Physik, Universität Giessen\
    D-35392_Giessen, Germany
date:_ 
title: 'The energy dependence of_the in-medium $\eta N$_cross_section evaluated from $\eta$-photoproduction [^1]'
---

=-10mm

Introduction
============

For a_long time $\eta$-meson production in nuclei_has been of interest as_a_source_of information about the $\eta$-nucleus_final state interaction. The present knowledge_about the $\eta_N$ interaction even in the vacuum comes_from_either simple analysis of the inverse_$\pi_N \to \eta N$ reaction or_as_a_free parameter fitted to experimental_data by theoretical calculations [@Liu; @Wilkin; @Chiavassa